LLBMC
From MaRDI portal
Cited in
(32)- HaifaSat
- A unifying view on SMT-based software verification
- Relational program reasoning using compiler IR
- 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
- Predator
- Ultimate Automizer
- Verify heaps via unified model checking
- Efficient bounded model checking of heap-manipulating programs using tight field bounds
- SMCHR
- UFO
- eVolCheck
- BULL
- ESBMC
- Automatically proving termination and memory safety for programs with pointer arithmetic
- QuteRTL
- PIC2LNT
- Ctrl
- FShell
- Towards Completeness in Bounded Model Checking Through Automatic Recursion Depth Detection
- Murphi
- Recognition of Nested Gates in CNF Formulas
- SMACK
- QAGen
- C32SAT
- Z34Bio
- CAESAR
- mkplot
- Shape neutral analysis of graph-based data-structures
- scientific article; zbMATH DE number 7199588 (Why is no real title available?)
- Decision procedures. An algorithmic point of view
- cnf2aig
- 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
This page was built for software: LLBMC
