Parameterized Verification of Infinite-State Processes with Global Conditions
No abstract available.
Related papers
- Handling Global Conditions in Parameterized System Verification CAV 1999
- Invited Tutorial: Verification of Infinite-State and Parameterized Systems CAV 2000
- Probabilistic Bisimulation for Parameterized Systems - (with Applications to Verifying Anonymous Protocols) CAV 2019
- Parameterized Verification of Systems with Global Synchronization and Guards CAV 2020
- Fair Termination for Parameterized Probabilistic Concurrent Systems TACAS 2017
- Parameterized Verification of Systems with Precise (0,1)-Counter Abstraction VMCAI 2025
- Handling Parameterized Systems with Non-atomic Global Conditions VMCAI 2008
- Verification of parameterized concurrent programs by modular reasoning about data and control POPL 2012