scientific article; zbMATH DE number 2087616

MaRDI QIDQ4738460zbMATH OpenFDO

Authors Edmund Clarke

Publication date 11 August 2004

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

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 1903358
• Computer Aided Verification
• A satisfiability-based approach to abstraction refinement in model checking
• scientific article; zbMATH DE number 1670775
• Counterexample-guided abstraction refinement for symbolic model checking

Cited in

(8)

• Efficient strategies for CEGAR-based model checking
• A novel approach to verifying context free properties of programs
• A satisfiability-based approach to abstraction refinement in model checking
• Counterexample-guided abstraction refinement for symbolic model checking
• A Probabilistic Learning Approach for Counterexample Guided Abstraction Refinement
• scientific article; zbMATH DE number 1903358 (Why is no real title available?)
• Computer Aided Verification
• Tools and Algorithms for the Construction and Analysis of Systems

Describes a project that uses

Uses Software

• lpSolve
• Chaff
• NuSMV

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