Handling Global Conditions in Parameterized System Verification
Abstract elided by the publisher.
Related papers
- Handling Parameterized Systems with Non-atomic Global Conditions VMCAI 2008
- Parameterized Verification of Infinite-State Processes with Global Conditions CAV 2007
- Parameterized Verification of Systems with Global Synchronization and Guards CAV 2020
- Parameterized Verification of Disjunctive Timed Networks VMCAI 2024
- Probabilistic Bisimulation for Parameterized Systems - (with Applications to Verifying Anonymous Protocols) CAV 2019
- Verification of parameterized concurrent programs by modular reasoning about data and control POPL 2012
- A parallel algorithm for global states enumeration in concurrent systems PPoPP 2015
- Compositional Analysis for Verification of Parameterized Systems TACAS 2003