Handling Parameterized Systems with Non-atomic Global Conditions
From MaRDI portal
Publication:5452704
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
68Q60: Specification and verification (program logics, model checking, etc.)
Related Items
Monotonic Abstraction in Parameterized Verification, Unnamed Item, Monotonic Abstraction in Action, Regular model checking: evolution and perspectives, Automatic Verification of Directory-Based Consistency Protocols
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- 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