LLBMC
From MaRDI portal
swMATH9478MaRDI QIDQ21461FDOQ21461
Author name not available (Why is that?)
Official website: http://link.springer.com/chapter/10.1007%2F978-3-642-36742-7_48
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
- Efficient bounded model checking of heap-manipulating programs using tight field bounds
- HaifaSat
- Predator
- Ultimate Automizer
- 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
- UFO
- SMCHR
- eVolCheck
- BULL
- ESBMC
- QuteRTL
- PIC2LNT
- Ctrl
- FShell
- Murphi
- SMACK
- C32SAT
- QAGen
- Z34Bio
- CAESAR
- mkplot
- Automatically proving termination and memory safety for programs with pointer arithmetic
- cnf2aig
- Title not available (Why is that?)
- 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
