Symbolic model checking of software

zbMATH Open1271.68092MaRDI QIDQ2845503FDOQ2845503

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

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.

Mathematics Subject Classification ID

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

Cited In (16)

• 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
• Title not available (Why is that?)
• Title not available (Why is that?)
• Automatic software model checking via constraint logic
• Title not available (Why is that?)
• Feasibility analysis for robustness quantification by symbolic model checking
• Application of Wu's method to symbolic model checking
• Improved symbolic verification using partitioning techniques
• Title not available (Why is that?)
• Computing Information Flow Using Symbolic Model-Checking
• 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)