Formal Methods in Computer-Aided Design

DOI10.1007/B102264zbMATH Open1117.68420OpenAlexW4229585471MaRDI QIDQ5492985FDOQ5492985

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

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

Mathematics Subject Classification ID

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

Cited In (6)

• Title not available (Why is that?)
• Language-Based Abstraction Refinement for Hybrid System Verification
• Abstraction and abstraction refinement
• SAT-Based Model Checking
• Proof-Guided Underapproximation Widening for Bounded Model Checking
• Title not available (Why is that?)

Uses Software

• SATO
• Chaff
• BerkMin

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)