Some Complexity Results for Stateful Network Verification
Abstract elided by the publisher.
Related papers
- Parameterized Verification of Synchronization in Constrained Reconfigurable Broadcast Networks TACAS 2018
- Verifying Low-Dimensional Input Neural Networks via Input Quantization SAS 2021
- NNV 2.0: The Neural Network Verification Tool CAV 2023
- PRIMA: general and precise neural network certification via scalable convex hull approximations POPL 2022
- NV: an intermediate language for verification of network control planes PLDI 2020
- PEREGRiNN: Penalized-Relaxation Greedy Neural Network Verifier CAV 2021
- SART: Sign-Absolute Reformulation Theory for Binary Variable Reduction in Neural Network Verification OOPSLA 2026
- Towards Model Checking Real-World Software-Defined Networks CAV 2020