Software Model Checking: Searching for Computations in the Abstract or the Concrete

DOI10.1007/11589976_3zbMath1137.68435OpenAlexW200765967MaRDI QIDQ5429306

Nils Klarlund, Patrice Godefroid

Publication date: 29 November 2007

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/11589976_3

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (1)

LCTD: test-guided proofs for C programs on LLVM

Uses Software

• CUTE
• Symstra
• veriSoft
• SLAM
• Korat
• DART
• Java PathFinder
• Bandera
• CCured

This page was built for publication: Software Model Checking: Searching for Computations in the Abstract or the Concrete