Modular Safety Verification for Stateful Networks.
Kalev AlpernasRoman ManevichAurojit PandaMooly SagivScott ShenkerSharon ShohamYaron VelnerPublished in: CoRR (2017)
Keyphrases
- social networks
- model checking
- network structure
- network design
- neural network
- genetic algorithm
- complex networks
- artificial intelligence
- safety critical
- computer networks
- heterogeneous networks
- safety analysis
- modular structure
- formal verification
- signature verification
- formal methods
- expert systems
- decision trees
- website
- knowledge base
- machine learning
- real world