A bounded model checker for three-valued abstractions of concurrent software systems

DOI10.1007/978-3-319-49815-7_12zbMath1396.68036OpenAlexW2553899165MaRDI QIDQ1784791

Stefan Gruner, Nils Timm, Matthias Harvey

Publication date: 27 September 2018

Full work available at URL: https://doi.org/10.1007/978-3-319-49815-7_12

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Uses Software

• NuSMV
• Sat4j
• CBMC

This page was built for publication: A bounded model checker for three-valued abstractions of concurrent software systems