The PVS Verification System and PC/DC.

John M. Rushby Jens Ulrik Skakkebæk

Published in: FTRTFT (1994)

Keyphrases

formal verification
model checking
theorem proving
personal computer
signature verification
real world
data mining
search algorithm
face verification