scientific article; zbMATH DE number 1979542

MaRDI QIDQ4427894zbMATH OpenFDO

Authors Pankaj Chauhan, James H. Kukula, Samir Sapra, Helmut Veith, Dong Wang, Edmund Clarke

Publication date 14 September 2003

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

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Computer science aspects of computer-aided design (68U07)

Recommendations

• A satisfiability-based approach to abstraction refinement in model checking
• Combining Abstraction Refinement and SAT-Based Model Checking
• An efficient approach for abstraction-refinement in model checking
• scientific article; zbMATH DE number 1903350
• scientific article; zbMATH DE number 1670519
• The abstraction-refinement framework in model checking
• Refining and compressing abstract model checking

Cited in

(14)

• Partial predicate abstraction and counter-example guided refinement
• Compositional SCC analysis for language emptiness
• A satisfiability-based approach to abstraction refinement in model checking
• Interpolant learning and reuse in SAT-based model checking
• Abstraction-based algorithm for 2QBF
• Abstraction and abstraction refinement
• scientific article; zbMATH DE number 1956569 (Why is no real title available?)
• scientific article; zbMATH DE number 1903358 (Why is no real title available?)
• Theory and Applications of Satisfiability Testing
• Automated Technology for Verification and Analysis
• Combining Abstraction Refinement and SAT-Based Model Checking
• An efficient approach for abstraction-refinement in model checking
• The modal logic of abstraction refinement
• Efficient SAT-based bounded model checking for software verification

Describes a project that uses

Uses Software

• Chaff
• SATO

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 Q4427894)