LLBMC

swMATH9478MaRDI QIDQ21461FDOQ21461

Author name not available (Why is that?)

Cited In (12)

• 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
• 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
• 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
• Shape Neutral Analysis of Graph-based Data-structures
• 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