Automatic Generation of Network Invariants for the Verification of Iterative Sequential Systems
No abstract available.
Related papers
- An Iterative Scheme of Safe Reinforcement Learning for Nonlinear Systems via Barrier Certificate Generation CAV 2021
- Automatic Verification of Parameterized Linear Networks of Processes POPL 1997
- Weighted NetKAT: A Programming Language for Quantitative Network Verification PLDI 2026
- Planning for change in a formal verification of the raft consensus protocol CPP 2016
- Fully Automatic Verifcation and Error Detection for Parameterized Iterative Sequential Circuits TACAS 1996
- How to Win First-Order Safety Games VMCAI 2020
- Synthesizing software verifiers from proof rules PLDI 2012
- On the Automatic Computation of Network Invariants CAV 1994