- Record: found
- Abstract: not found
- Book Chapter: not found
Computer Aided Verification
Automating Separation Logic with Trees and Data
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 references37
- Record: found
- Abstract: not found
- Article: not found
Generalized finite automata theory with an application to a decision problem of second-order logic
J. Thatcher, J B WRIGHT (1968)
- Record: found
- Abstract: not found
- Book Chapter: not found
Local Reasoning about Programs that Alter Data Structures
Peter O’Hearn, John Reynolds, Hongseok Yang (2001)
- Record: found
- Abstract: not found
- Book Chapter: not found
VeriFast: A Powerful, Sound, Predictable, Fast Verifier for C and Java
Bart Jacobs, Jan Smans, Pieter Philippaerts … (2011)