Modelling and Verification of Timing Conditions with the Boyer Moore Prover.

D. J. Kinniment Albert Koelmans

Published in: TPCD (1992)

Keyphrases

boyer moore
pattern matching
asynchronous circuits
sufficient conditions
model checking
three dimensional
sliding window
theorem proving
face verification
theorem prover
environmental conditions
modal logic
functional verification
formal verification
real world
evolutionary algorithm
computer vision