Comparing HOL and MDG: a Case Study on the Verification of an ATM Switch Fabric.

Sofiène Tahar Paul Curzon

Published in: Nord. J. Comput. (1999)

Keyphrases

formal methods
functional verification
model checker
formal verification
case study
theorem prover
priority scheduling
test bed
model checking
signature verification
artificial intelligence
atm networks
pairwise
image sequences
theorem proving
face verification
computer vision
databases
data sets
real time