Scaling Model Checking for Neural Network Analysis via State-Space Reduction and Input Segmentation.
Mahum NaseerOsman HasanMuhammad ShafiquePublished in: FoMLAS@CAV (2023)
Keyphrases
- model checking
- network analysis
- space reduction
- temporal logic
- social network analysis
- finite state machines
- transition systems
- formal verification
- finite state
- formal methods
- formal specification
- reachability analysis
- automated verification
- model checker
- link prediction
- temporal properties
- complex networks
- computation tree logic
- deterministic finite automaton
- network structure
- symbolic model checking
- epistemic logic
- concurrent systems
- timed automata
- pspace complete
- bounded model checking
- verification method
- text mining
- social networks
- data mining
- machine learning
- satisfiability problem
- state space
- face recognition
- description language
- linear temporal logic
- training data
- web services