Model checking guided abstraction and analysis

DOI10.1007/978-3-540-45099-3_20MaRDI QIDQ2722072zbMATH OpenFDO

Authors Hassen Saidi

Publication date 11 July 2001

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

Full work available at URL https://doi.org/10.1007/978-3-540-45099-3_20

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 2102725
• Automated Technology for Verification and Analysis
• Abstraction and abstraction refinement
• Abstraction and Counterexample-Guided Refinement in Model Checking of Hybrid Systems
• Model checking: from hardware to software.

Cited in

(23)

• Reachability-based acyclicity analysis by abstract interpretation
• When does abstraction help?
• An automatic method for the dynamic construction of abstractions of states of a formal model
• FMona: A tool for expressing validation techniques over infinite state systems
• scientific article; zbMATH DE number 1670793 (Why is no real title available?)
• scientific article; zbMATH DE number 1693485 (Why is no real title available?)
• Abstraction and abstraction refinement
• Abstracting and Verifying Strategy-Proofness for Auction Mechanisms
• A mechanized strategy for safe abstraction of CSP specifications
• scientific article; zbMATH DE number 1953022 (Why is no real title available?)
• scientific article; zbMATH DE number 1744958 (Why is no real title available?)
• scientific article; zbMATH DE number 1863177 (Why is no real title available?)
• scientific article; zbMATH DE number 1903350 (Why is no real title available?)
• scientific article; zbMATH DE number 2102702 (Why is no real title available?)
• scientific article; zbMATH DE number 2102725 (Why is no real title available?)
• Smaller Abstractions for ∀CTL* without Next
• Tools and Algorithms for the Construction and Analysis of Systems
• Automated Technology for Verification and Analysis
• Is Lazy Abstraction a Decision Procedure for Broadcast Protocols?
• Extending Model Checking with Dynamic Analysis
• Internal and External Logics of Abstract Interpretations
• Model Checking Software
• Transition power abstractions for deep counterexample detection

This page was built for publication: Model checking guided abstraction and analysis

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