Symbolic model checking of software

MaRDI QIDQ2845503zbMATH OpenFDO

Authors Flavio Lerda, Nishant Sinha, Michael Theobald

Publication date 30 August 2013

Full work available at URL http://www.sciencedirect.com/science/article/pii/S1571066105800088

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 2087633
• Symbolic Model Checking of Concurrent Programs Using Partial Orders and On-the-Fly Transactions
• Efficient symbolic model checking of software using partial disjunctive partitioning
• Software model checking
• Model checking: from hardware to software.

Cited in

(17)

• Exploiting partial knowledge for efficient model analysis
• Partial order reduction for deep bug finding in synchronous hardware
• Symbolic Model Checking of Concurrent Programs Using Partial Orders and On-the-Fly Transactions
• Software model checking with explicit scheduler and symbolic threads
• Efficient symbolic model checking of software using partial disjunctive partitioning
• scientific article; zbMATH DE number 1956607 (Why is no real title available?)
• scientific article; zbMATH DE number 2087633 (Why is no real title available?)
• Automatic software model checking via constraint logic
• scientific article; zbMATH DE number 1630128 (Why is no real title available?)
• Feasibility analysis for robustness quantification by symbolic model checking
• Application of Wu's method to symbolic model checking
• Improved symbolic verification using partitioning techniques
• scientific article; zbMATH DE number 1905113 (Why is no real title available?)
• Computing Information Flow Using Symbolic Model-Checking
• Partially Bounded Context-Aware Verification
• Explicit-symbolic modelling for formal verification
• Model Checking MSVL Programs Based on Dynamic Symbolic Execution

This page was built for publication: Symbolic model checking of software

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2845503)