On the Automatic Computation of Network Invariants
No abstract available.
Related papers
- Automatic Verification of Parameterized Linear Networks of Processes POPL 1997
- Automatic Generation of Network Invariants for the Verification of Iterative Sequential Systems CAV 1993
- Mora - Automatic Generation of Moment-Based Invariants TACAS 2020
- Parametrized Verification of Linear Networks Using Automata as Invariants CAV 1997
- Invariant Verification of Nonlinear Hybrid Automata Networks of Cardiac Cells CAV 2014
- Automatic Node Selection for High Performance Applications on Networks PPoPP 1999
- Automatic Synthesis of Piecewise Linear Quadratic Invariants for Programs VMCAI 2015
- Correctness Meets Performance: From Agda to Futhark ICFP 2025