Verification, Falsification, and Cancellation in KT.

Timothy Williamson

Published in: Notre Dame J. Formal Log. (1990)

Keyphrases

model checking
formal verification
concurrent systems
real time
face verification
databases
neural network
data mining
probabilistic model
digital images
formal methods
formal analysis
person identification
fingerprint verification
asynchronous circuits
verification method