Abstracting WS1S Systems to Verify Parameterized Networks
Abstract elided by the publisher.
Related papers
- Verifying Parameterized Networks TOPLAS 1997
- A Learner-Verifier Framework for Neural Network Controllers and Certificates of Stochastic Systems TACAS 2023
- Parameterized Verification of Systems with Precise (0,1)-Counter Abstraction VMCAI 2025
- Counting Abstraction and Decidability for the Verification of Structured Parameterized Networks CAV 2025
- Automatic Verification of Parameterized Linear Networks of Processes POPL 1997
- Finding Security Vulnerabilities in a Network Protocol Using Parameterized Systems CAV 2013
- Integrating WS1S with PVS CAV 2000
- Nested Antichains for WS1S TACAS 2015