Handling Parameterized Systems with Non-atomic Global Conditions

DOI10.1007/978-3-540-78163-9_7zbMath1138.68436MaRDI QIDQ5452704

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

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

Related Items

Monotonic Abstraction in Parameterized Verification, Monotonic Abstraction in Action, Automatic Verification of Directory-Based Consistency Protocols

Cites Work

• A closed-form evaluation for Datalog queries with integer (gap)-order constraints
• Using partial orders for the efficient verification of deadlock freedom and safety properties
• Algorithmic analysis of programs with well quasi-ordered domains.
• Time, clocks, and the ordering of events in a distributed system
• Computer Aided Verification
• Parameterized Verification of Infinite-State Processes with Global Conditions
• Regular Model Checking Without Transducers (On Efficient Verification of Parameterized Systems)
• Verification, Model Checking, and Abstract Interpretation
• Computer Aided Verification
• Symbolic model checking with rich assertional languages
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item