Practical symbolic verification of regular properties.
Hengbiao YuPublished in: ESEC/SIGSOFT FSE (2017)
Keyphrases
- model checking
- real world
- high level
- neural network
- formal verification
- topological properties
- desirable properties
- expert systems
- similarity measure
- video sequences
- case study
- evolutionary algorithm
- mobile robot
- image processing
- temporal logic
- practical application
- artificial intelligence
- machine learning
- database
- connectionist models