Test Generation for Intelligent Networks Using Model Checking
Abstract elided by the publisher.
Related papers
- VerifAI: A Toolkit for the Formal Design and Analysis of Artificial Intelligence-Based Systems CAV 2019
- Verification by Behaviour Abstraction - A Case Study of Service Interaction Detection in Intelligent Telephone Networks CAV 1996
- Intelligent selection of application-specific garbage collectors ISMM 2007
- Shiftry: RNN inference in 2KB of RAM OOPSLA 2020
- Model Checking Gene Regulatory Networks TACAS 2015
- Bringing LTL Model Checking to Biologists VMCAI 2017
- ModelVerification.jl: A Comprehensive Toolbox for Formally Verifying Deep Neural Networks CAV 2025
- Test Generation Derived from Model-Checking CAV 1999