Monotonic Abstraction in Action
DOI10.1007/978-3-540-85762-4_4zbMATH Open1161.68612OpenAlexW1845051485MaRDI QIDQ5505593FDOQ5505593
Authors: Giorgio Delzanno, Ahmed Rezine, Parosh A. Abdulla 
Publication date: 27 January 2009
Published in: Theoretical Aspects of Computing - ICTAC 2008 (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-540-85762-4_4
Recommendations
Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Cites Work
- Reasoning about systems with many processes
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Proving Ptolemy Right: The Environment Abstraction Framework for Model Checking Concurrent Systems
- Iterating transducers in the large (extended abstract)
- Time, clocks, and the ordering of events in a distributed system
- Algorithmic analysis of programs with well quasi-ordered domains.
- Verifying programs with unreliable channels
- Title not available (Why is that?)
- Parameterized Verification of Infinite-State Processes with Global Conditions
- Symbolic model checking with rich assertional languages
- Computer Aided Verification
- Title not available (Why is that?)
- A closed-form evaluation for Datalog queries with integer (gap)-order constraints
- Title not available (Why is that?)
- Title not available (Why is that?)
- Regular Model Checking Without Transducers (On Efficient Verification of Parameterized Systems)
- Handling Parameterized Systems with Non-atomic Global Conditions
Cited In (17)
- Formal model-driven design of distributed algorithms
- Declarative parameterized verification of distributed protocols via the Cubicle model checker
- MONOTONIC ABSTRACTION: ON EFFICIENT VERIFICATION OF PARAMETERIZED SYSTEMS
- Verification, Model Checking, and Abstract Interpretation
- Abstracting and counting synchronizing processes
- Lost in abstraction: monotonicity in multi-threaded programs
- Verifying Parameterized taDOM+ Lock Managers
- Handling Parameterized Systems with Non-atomic Global Conditions
- Monotonic abstraction in parameterized verification
- Forcing monotonicity in parameterized verification: from multisets to words
- Constrained monotonic abstraction: a CEGAR for parameterized verification
- Title not available (Why is that?)
- Parameterized verification and model checking for distributed broadcast protocols
- Title not available (Why is that?)
- Automatic verification for a class of distributed systems
- Monotonic abstraction for programs with multiply-linked structures
- Approximated parameterized verification of infinite-state processes with global conditions
This page was built for publication: Monotonic Abstraction in Action
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5505593)
