Parametrized Verification of Linear Networks Using Automata as Invariants
No abstract available.
Related papers
- Invariant Verification of Nonlinear Hybrid Automata Networks of Cardiac Cells CAV 2014
- Automatic Verification of Parameterized Linear Networks of Processes POPL 1997
- Linear Parametric Model Checking of Timed Automata TACAS 2001
- Weighted NetKAT: A Programming Language for Quantitative Network Verification PLDI 2026
- Decision Procedures for Sequence Theories CAV 2023
- Parameterized Verification of Disjunctive Timed Networks VMCAI 2024
- An L# Based Algorithm for Active Learning of Minimal Separating Automata CAV 2026
- Automatic Generation of Network Invariants for the Verification of Iterative Sequential Systems CAV 1993