Handling Parameterized Systems with Non-atomic Global Conditions

DOI10.1007/978-3-540-78163-9_7MaRDI QIDQ5452704zbMATH OpenOpenAlexFDO

Authors Noomene Ben Henda, Giorgio Delzanno, Ahmed Rezine, Parosh A. Abdulla

Publication date 4 April 2008

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-78163-9_7

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• scientific article; zbMATH DE number 2102701
• Parameterized Verification of Infinite-State Processes with Global Conditions
• Approximated parameterized verification of infinite-state processes with global conditions
• scientific article; zbMATH DE number 2080051
• Monotonic Abstraction in Action

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 1927558 (Why is no real title available?)
• scientific article; zbMATH DE number 1796136 (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
• Iterating transducers in the large (extended abstract)
• Parameterized Verification of Infinite-State Processes with Global Conditions
• 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
• Using partial orders for the efficient verification of deadlock freedom and safety properties
• Verification, Model Checking, and Abstract Interpretation

Cited in

(11)

• Parameterized verification of systems with global synchronization and guards
• scientific article; zbMATH DE number 2102701 (Why is no real title available?)
• Parameterized Verification of Infinite-State Processes with Global Conditions
• Automatic Verification of Directory-Based Consistency Protocols
• Verifying Parameterized taDOM+ Lock Managers
• Monotonic Abstraction in Action
• Monotonic abstraction in parameterized verification
• Regular model checking: evolution and perspectives
• Abduction of trap invariants in parameterized systems
• Approximated parameterized verification of infinite-state processes with global conditions
• scientific article; zbMATH DE number 7121861 (Why is no real title available?)

This page was built for publication: Handling Parameterized Systems with Non-atomic Global Conditions

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5452704)