Importing MDG Verification Results into HOL.
Haiyan XiongPaul CurzonSofiène TaharPublished in: TPHOLs (1999)
Keyphrases
- formal methods
- model checker
- model checking
- formal verification
- formal analysis
- concurrent systems
- verification method
- theorem prover
- face verification
- asynchronous circuits
- higher order logic
- data sets
- natural deduction
- meta information
- signature verification
- evolutionary algorithm
- learning environment
- machine learning
- databases