- Record: found
- Abstract: not found
- Book Chapter: not found
Embedded Systems: Design, Analysis and Verification
Model Checking Memory-Related Properties of Hardware/Software Co-designs
other
Read this book at
There is no author summary for this book yet. Authors can add summaries to their books on ScienceOpen to make them more accessible to a non-specialist audience.
Related collections
Most cited references15
- Record: found
- Abstract: not found
- Book Chapter: not found
A Tutorial on Uppaal
Gerd Behrmann, Alexandre David, Kim G. Larsen (2004)
- Record: found
- Abstract: not found
- Book Chapter: not found
VCC: A Practical System for Verifying Concurrent C
Ernie Cohen, Markus Dahlweid, Mark A. Hillebrand … (2009)
- Record: found
- Abstract: not found
- Book Chapter: not found
Proving Pointer Programs in Hoare Logic
Richard Bornat (2000)