Efficient symbolic model checking of software using partial disjunctive partitioning

DOI10.1007/B93958zbMATH Open1179.68077OpenAlexW219731125MaRDI QIDQ5897056FDOQ5897056

Authors: Sharon Barner, Ishai Rabinovitz 

Publication date: 5 February 2010

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

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

Recommendations

• Symbolic model checking of software
• FM 2005: Formal Methods
• Symbolic model checking: \(10^{20}\) states and beyond
• Symbolic Model Checking of Concurrent Programs Using Partial Orders and On-the-Fly Transactions
• scientific article; zbMATH DE number 1487478

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 (6)

• Exploiting partial knowledge for efficient model analysis
• Title not available (Why is that?)
• FM 2005: Formal Methods
• Logic Programming and Nonmonotonic Reasoning
• Exploiting interleaving semantics in symbolic state-space generation
• Symbolic model checking of software

This page was built for publication: Efficient symbolic model checking of software using partial disjunctive partitioning

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