On the Comparison of HOL and Boyer-Moore for Formal Hardware Verification.
Catia M. AngeloDiederik VerkestLuc J. M. ClaesenHugo De ManPublished in: Formal Methods Syst. Des. (1993)
Keyphrases
- formal methods
- boyer moore
- formal analysis
- pattern matching
- low cost
- hardware and software
- model checking
- real time
- artificial intelligence
- signal processing
- computer systems
- data acquisition
- hardware designs
- model checker
- digital circuits
- formal specification
- knowledge based systems
- data sets
- theorem prover
- sliding window
- computing power
- high end
- data streams
- search algorithm
- parallel hardware
- information systems