Model-Checking and Abstraction to the Aid of Parameterized Systems
Abstract elided by the publisher.
Related papers
- An Abstraction Technique for Parameterized Model Checking of Leader Election Protocols: Application to FTSP TACAS 2017
- Parameterized Model Checking of Synchronous Distributed Algorithms by Abstraction VMCAI 2018
- SMT and POR Beat Counter Abstraction: Parameterized Model Checking of Threshold-Based Distributed Algorithms CAV 2015
- A Unifying Model Checking Approach for Safety Properties of Parameterized Systems CAV 2001
- Model Checking Large-Scale and Parameterized Resource Allocation Systems TACAS 2002
- Model Checking Parameterized Asynchronous Shared-Memory Systems CAV 2015
- Regular Model Checking Without Transducers (On Efficient Verification of Parameterized Systems) TACAS 2007
- Parameterized Model Checking of Token-Passing Systems VMCAI 2014