Cited in
(32)- Verify heaps via unified model checking
- Tools and algorithms for the construction and analysis of systems. 19th international conference, TACAS 2013, held as part of the European joint conferences on theory and practice of software, ETAPS 2013, Rome, Italy, March 16--24, 2013. Proceedings
- Shape neutral analysis of graph-based data-structures
- Recognition of Nested Gates in CNF Formulas
- Towards Completeness in Bounded Model Checking Through Automatic Recursion Depth Detection
- HaifaSat
- Predator
- Ultimate Automizer
- UFO
- SMCHR
- eVolCheck
- BULL
- ESBMC
- QuteRTL
- PIC2LNT
- Ctrl
- FShell
- Murphi
- SMACK
- C32SAT
- QAGen
- Z34Bio
- CAESAR
- mkplot
- cnf2aig
- Efficient bounded model checking of heap-manipulating programs using tight field bounds
- Tools and algorithms for the construction and analysis of systems. 18th international conference, TACAS 2012, held as part of the European joint conferences on theory and practice of software, ETAPS 2012, Tallinn, Estonia, March 24 -- April 1, 2012. Proceedings
- Automatically proving termination and memory safety for programs with pointer arithmetic
- scientific article; zbMATH DE number 7199588 (Why is no real title available?)
- A unifying view on SMT-based software verification
- Relational program reasoning using compiler IR
- Decision procedures. An algorithmic point of view
This page was built for software: LLBMC
