scientific article; zbMATH DE number 1903359

zbMATH Open1010.68516MaRDI QIDQ4804902FDOQ4804902

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

Title of this publication is not available (Why is that?)

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

Mathematics Subject Classification ID

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

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
• Title not available (Why is that?)
• 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)