LLBMC
From MaRDI portal
Software:21461
No author found.
Related Items (12)
Automatically proving termination and memory safety for programs with pointer arithmetic ⋮ Recognition of Nested Gates in CNF Formulas ⋮ Shape Neutral Analysis of Graph-based Data-structures ⋮ 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 ⋮ A unifying view on SMT-based software verification ⋮ Relational program reasoning using compiler IR ⋮ Verify heaps via unified model checking ⋮ Decision procedures. An algorithmic point of view ⋮ Towards Completeness in Bounded Model Checking Through Automatic Recursion Depth Detection ⋮ Unnamed Item ⋮ 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
This page was built for software: LLBMC
