Verification of the Interface of a Small Proof System in Coq.

Published in: TYPES (1996)

Keyphrases

formal methods
model checker
model checking
theorem prover
database
user friendly
data mining
clustering algorithm
face recognition
expert systems
evolutionary algorithm
small number
formal verification
friendly interface