Verification by Behaviour Abstraction - A Case Study of Service Interaction Detection in Intelligent Telephone Networks
Abstract elided by the publisher.
Related papers
- Neural Network Robustness as a Verification Property: A Principled Case Study CAV 2022
- Detecting network load violations for distributed control planes PLDI 2020
- ULTIMATE: A Tool for the Verification and Synthesis of Stochastic World Models CAV 2026
- VerifAI: A Toolkit for the Formal Design and Analysis of Artificial Intelligence-Based Systems CAV 2019
- SMT-Based Modeling and Verification of Spiking Neural Networks: A Case Study VMCAI 2023
- A theory of contracts for web services POPL 2008
- Monitizer: Automating Design and Evaluation of Neural Network Monitors CAV 2024
- Scalable and serializable networked multi-actor programming OOPSLA 2020