A Generalized Approach to Verification Condition Generation.
Cláudio Belo LourençoMaria João FradeShin NakajimaJorge Sousa PintoPublished in: COMPSAC (1) (2018)
Keyphrases
- generation process
- model checking
- eigenvalue problems
- data mining
- information retrieval
- artificial intelligence
- decision trees
- three dimensional
- search algorithm
- hidden markov models
- mobile robot
- sufficient conditions
- face verification
- formal analysis
- machine learning
- generation algorithm
- formal verification
- data sets