View abstraction -- a tutorial (invited paper)
From MaRDI portal
Recommendations
- All for the price of few (parameterized verification through view abstraction)
- View abstraction for systems with component identities
- Model checking and abstraction to the aid of parameterized systems (a survey)
- MONOTONIC ABSTRACTION: ON EFFICIENT VERIFICATION OF PARAMETERIZED SYSTEMS
- Monotonic Abstraction in Action
Cites work
- All for the price of few (parameterized verification through view abstraction)
- An integrated specification and verification technique for highly concurrent data structures
- Closed, open, and robust timed networks
- Computer Aided Verification
- Computer Aided Verification
- Counter-Example Guided Fence Insertion under TSO
- Expand, enlarge and check: new algorithms for the coverability problem of WSTS
- Handling Parameterized Systems with Non-atomic Global Conditions
- scientific article; zbMATH DE number 1670768 (Why is no real title available?)
- scientific article; zbMATH DE number 1701752 (Why is no real title available?)
- scientific article; zbMATH DE number 1755138 (Why is no real title available?)
- scientific article; zbMATH DE number 1796136 (Why is no real title available?)
- scientific article; zbMATH DE number 1796140 (Why is no real title available?)
- scientific article; zbMATH DE number 1796143 (Why is no real title available?)
- scientific article; zbMATH DE number 1903348 (Why is no real title available?)
- Iterating transducers in the large (extended abstract)
- On the verification problem for weak memory models
- Ordering by Divisibility in Abstract Algebras
- Reasoning about systems with many processes
- Regular model checking using widening techniques
- Regular Model Checking Without Transducers (On Efficient Verification of Parameterized Systems)
- Symbolic model checking with rich assertional languages
- Symmetry and Completeness in the Analysis of Parameterized Systems
- Tools and Algorithms for the Construction and Analysis of Systems
- Verification, Model Checking, and Abstract Interpretation
- Verifying programs with unreliable channels
Cited in
(8)- View abstraction for systems with component identities
- View disassembly: A rewrite that extracts portions of views
- View-augmented abstractions
- All for the price of few (parameterized verification through view abstraction)
- Bounded quantifier instantiation for checking inductive invariants
- Monotonic abstraction in parameterized verification
- Proving Ptolemy Right: The Environment Abstraction Framework for Model Checking Concurrent Systems
- Monotonic Abstraction in Action
This page was built for publication: View abstraction -- a tutorial (invited paper)
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5240148)
