Logic verification system for very large computers using LSI's.
Yasuhiro OhnoMasayuki MiyoshiKatsuya SatoPublished in: DAC (1979)
Keyphrases
- asynchronous circuits
- verification method
- latent semantic indexing
- model checking
- model checker
- bounded model checking
- formal methods
- predicate logic
- formal verification
- face verification
- computer technology
- logic programming
- computer systems
- modal logic
- linear temporal logic
- sound and complete axiomatization
- turing test
- logical framework
- multi valued
- digital circuits
- computational properties
- truth values
- fingerprint verification
- probabilistic model
- proof theory
- probability theory
- text retrieval
- information retrieval systems
- knowledge representation