Formal Methods in Computer-Aided Design

DOI10.1007/B102264MaRDI QIDQ5492985zbMATH OpenOpenAlexFDO

Authors Nina Amla, K. L. McMillan

Publication date 20 October 2006

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/b102264

Mathematics Subject Classification ID

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

Recommendations

• Counterexample-guided predicate abstraction of hybrid systems
• scientific article; zbMATH DE number 1956582
• scientific article; zbMATH DE number 1670775
• scientific article; zbMATH DE number 1956581
• Hybrid Systems: Computation and Control
• Abstractions from proofs
• scientific article; zbMATH DE number 3880084
• A Hybrid Abductive Inductive Proof Procedure
• Tools and Algorithms for the Construction and Analysis of Systems
• scientific article; zbMATH DE number 3938540

Cited in

(6)

• scientific article; zbMATH DE number 1670775 (Why is no real title available?)
• Language-Based Abstraction Refinement for Hybrid System Verification
• Abstraction and abstraction refinement
• SAT-Based Model Checking
• Proof-Guided Underapproximation Widening for Bounded Model Checking
• scientific article; zbMATH DE number 1956580 (Why is no real title available?)

Describes a project that uses

Uses Software

• BerkMin
• Chaff
• SATO

This page was built for publication: Formal Methods in Computer-Aided Design

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