scientific article; zbMATH DE number 1903359

MaRDI QIDQ4804902zbMATH OpenFDO

Authors Jesse Bingham, Alan J. Hu

Publication date 1 May 2003

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2404/24040280.htm

Mathematics Subject Classification ID

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

Recommendations

• Bounded model checking using satisfiability solving
• Semi-external LTL Model Checking
• Theory and Applications of Satisfiability Testing
• Bounded Model Checking for Partial Kripke Structures
• Bounded LTL model checking with stable models
• Computer Aided Verification

Cited in

(10)

• Simulator semantics for system level formal verification
• Semi-external LTL Model Checking
• Automated Technology for Verification and Analysis
• Bounded model checking with SNF, alternating automata, and Büchi automata
• On Bridging Simulation and Formal Verification
• A probabilistic and approximated approach to circuit-based formal verification
• Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems
• An optimized symbolic bounded model checking engine
• scientific article; zbMATH DE number 1796153 (Why is no real title available?)
• Theory and Applications of Satisfiability Testing

This page was built for publication:

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