Monotonic Abstraction in Action

DOI10.1007/978-3-540-85762-4_4MaRDI QIDQ5505593zbMATH OpenOpenAlexFDO

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

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)

Recommendations

• MONOTONIC ABSTRACTION: ON EFFICIENT VERIFICATION OF PARAMETERIZED SYSTEMS
• Monotonic abstraction in parameterized verification
• View abstraction -- a tutorial (invited paper)
• scientific article; zbMATH DE number 2080051
• Forcing monotonicity in parameterized verification: from multisets to words

Cites work

• scientific article; zbMATH DE number 1630111 (Why is no real title available?)
• scientific article; zbMATH DE number 1670768 (Why is no real title available?)
• scientific article; zbMATH DE number 1948389 (Why is no real title available?)
• scientific article; zbMATH DE number 2080213 (Why is no real title available?)
• scientific article; zbMATH DE number 1927558 (Why is no real title available?)
• scientific article; zbMATH DE number 1796136 (Why is no real title available?)
• scientific article; zbMATH DE number 1392309 (Why is no real title available?)
• A closed-form evaluation for Datalog queries with integer (gap)-order constraints
• Algorithmic analysis of programs with well quasi-ordered domains.
• Computer Aided Verification
• Handling Parameterized Systems with Non-atomic Global Conditions
• Iterating transducers in the large (extended abstract)
• Parameterized Verification of Infinite-State Processes with Global Conditions
• Proving Ptolemy Right: The Environment Abstraction Framework for Model Checking Concurrent Systems
• Reasoning about systems with many processes
• Regular Model Checking Without Transducers (On Efficient Verification of Parameterized Systems)
• Symbolic model checking with rich assertional languages
• Time, clocks, and the ordering of events in a distributed system
• Verifying programs with unreliable channels

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
• scientific article; zbMATH DE number 2080051 (Why is no real title available?)
• Parameterized verification and model checking for distributed broadcast protocols
• scientific article; zbMATH DE number 7317251 (Why is no real title available?)
• Automatic verification for a class of distributed systems
• Approximated parameterized verification of infinite-state processes with global conditions
• Monotonic abstraction for programs with multiply-linked structures

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)