Abstract and model check while you prove
From MaRDI portal
Recommendations
Cited in
(23)- Control and data abstraction: The cornerstones of practical formal verification
- An automatic method for the dynamic construction of abstractions of states of a formal model
- Model checking guided abstraction and analysis
- Syntactic program transformations for automatic abstraction
- Predicate abstraction for dense real-time systems
- PVS strategies for proving abstraction properties of automata
- Narrowing and rewriting logic: from foundations to applications
- Abstraction and abstraction refinement
- Combining Model Checking and Deduction
- Rules for abstraction
- Abstraction in fixpoint logic
- Abstraction as the key for invariant verification
- Correct Hardware Design and Verification Methods
- Abstraction for liveness
- Abstraction for falsification
- Verification, Model Checking, and Abstract Interpretation
- Towards the hierarchical verification of reactive systems
- Computing and proving well-founded orderings through finite abstractions
- Verifying time partitioning in the DEOS scheduling kernel
- Algebraic simulations
- Verifying data refinements using a model checker
- Symbolic reachability analysis using narrowing and its application to verification of cryptographic protocols
- Equational abstractions
This page was built for publication: Abstract and model check while you prove
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4818812)
