Login / Signup
From Refutation to Verification.
John M. Rushby
Published in:
FORTE (2000)
Keyphrases
</>
model checking
formal verification
theorem prover
theorem proving
face verification
inductive inference
similarity measure
person identification
database
clustering algorithm
three dimensional
image sequences
bayesian networks
relational databases
special case
signature verification