Handling Parameterized Systems with Non-atomic Global Conditions
From MaRDI portal
Publication:5452704
DOI10.1007/978-3-540-78163-9_7zbMath1138.68436OpenAlexW1875437173MaRDI 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
Related Items (5)
Unnamed Item ⋮ Regular model checking: evolution and perspectives ⋮ Monotonic Abstraction in Parameterized Verification ⋮ Automatic Verification of Directory-Based Consistency Protocols ⋮ Monotonic Abstraction in Action
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
This page was built for publication: Handling Parameterized Systems with Non-atomic Global Conditions