Machine learning and systems for the next frontier in formal verification.
Manish PandeyPublished in: FMCAD (2016)
Keyphrases
- formal verification
- machine learning
- automated verification
- learning systems
- model checking
- data mining
- distributed systems
- machine learning algorithms
- learning algorithm
- machine learning approaches
- computer vision
- expert systems
- pattern recognition
- computer systems
- computational intelligence
- support vector machine
- complex systems
- machine learning methods
- data analysis
- model checker
- feature selection