Parameterized Verification of pi-Calculus Systems
Abstract elided by the publisher.
Related papers
- Compositional Analysis for Verification of Parameterized Systems TACAS 2003
- Verification of Parameterized Systems by Dynamic Induction on Diagrams CAV 1999
- Parameterized Verification of Asynchronous Shared-Memory Systems CAV 2013
- Automatic Verification of Parameterized Synchronous Systems (Extended Abstract) CAV 1996
- Invited Tutorial: Verification of Infinite-State and Parameterized Systems CAV 2000
- Handling Global Conditions in Parameterized System Verification CAV 1999
- Regular Model Checking Without Transducers (On Efficient Verification of Parameterized Systems) TACAS 2007
- Verification of Parameterized Systems Using Logic Program Transformations TACAS 2000