Monotonic Abstraction in Action

DOI10.1007/978-3-540-85762-4_4zbMath1161.68612OpenAlexW1845051485MaRDI QIDQ5505593

Giorgio Delzanno, Ahmed Rezine, Parosh Aziz 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

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (2)

Formal Model–Driven Design of Distributed Algorithms ⋮ Approximated parameterized verification of infinite-state processes with global conditions

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• A closed-form evaluation for Datalog queries with integer (gap)-order constraints
• Algorithmic analysis of programs with well quasi-ordered domains.
• Verifying programs with unreliable channels
• Time, clocks, and the ordering of events in a distributed system
• Reasoning about systems with many processes
• Computer Aided Verification
• Parameterized Verification of Infinite-State Processes with Global Conditions
• Handling Parameterized Systems with Non-atomic Global Conditions
• Proving Ptolemy Right: The Environment Abstraction Framework for Model Checking Concurrent Systems
• Regular Model Checking Without Transducers (On Efficient Verification of Parameterized Systems)
• Computer Aided Verification
• Symbolic model checking with rich assertional languages

This page was built for publication: Monotonic Abstraction in Action