Verification of Substitution Theorem Using HOL.
Takayuki KoaiMakoto TatsutaPublished in: Inf. Media Technol. (2012)
Keyphrases
- formal methods
- model checking
- model checker
- formal verification
- theorem prover
- verification method
- real time
- fingerprint verification
- von neumann
- person identification
- artificial neural networks
- computer vision
- search engine
- machine learning
- concurrent systems
- theorem proving
- asynchronous circuits
- high security
- signature verification
- formal analysis
- face verification
- temporal logic
- knowledge based systems
- mobile robot
- website
- artificial intelligence
- real world