Hierarchical Verification Using an MDG-HOL Hybrid Tool.
Iskander KortSofiène TaharPaul CurzonPublished in: CHARME (2001)
Keyphrases
- formal methods
- theorem prover
- real time
- hybrid approaches
- model checker
- formal verification
- hierarchical classification
- hybrid learning
- coarse to fine
- user friendly
- higher order
- probabilistic model
- machine learning
- data sets
- software tools
- model checking
- theorem proving
- formal analysis
- artificial intelligence
- database