Convergence testing in term-level bounded model checking

DOI10.1007/B93958MaRDI QIDQ5897078zbMATH OpenOpenAlexFDO

Authors Randal E. Bryant, Shuvendu K. Lahiri, Sanjit A. Seshia

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

Mathematics Subject Classification ID

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

Recommendations

• Computer Aided Verification
• Bounded model checking using satisfiability solving
• Bounded Model Checking with Description Logic Reasoning
• Bounded model checking of infinite state systems
• Computer Science Logic

Cited in

(5)

• Conformance Tests as Checking Experiments for Partial Nondeterministic FSM
• Solution Directed Backjumping for QCSP
• Termination criteria for bounded model checking: extensions and comparison
• Symbolic bounded conformance checking of model programs
• Approximate Invariant Property Checking Using Term-Height Reduction for a Subset of First-Order Logic

Describes a project that uses

Uses Software

• Velev SAT Benchmarks
• Quaffle
• SPIN

This page was built for publication: Convergence testing in term-level bounded model checking

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