Verification of Parameterized Systems Using Logic Program Transformations
No abstract available.
Related papers
- An unfold/fold transformation framework for definite logic programs TOPLAS 2004
- Automated Parameterized Verification of a Railway Protection System with Dafny CAV 2025
- Hardware Verification using Monadic Second-Order Logic CAV 1995
- Cardinalities and universal quantifiers for verifying parameterized systems PLDI 2016
- Probabilistic Bisimulation for Parameterized Systems - (with Applications to Verifying Anonymous Protocols) CAV 2019
- 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