Formal Hardware Verification in HOL and in Boyer-Moore: A Comparative Analysis.
Catia M. AngeloDiederik VerkestLuc J. M. ClaesenHugo De ManPublished in: TPHOLs (1991)
Keyphrases
- web services
- formal methods
- boyer moore
- pattern matching
- model checking
- formal analysis
- model checker
- low cost
- formal specification
- sliding window
- hardware and software
- real time
- hardware designs
- artificial intelligence
- knowledge based systems
- software engineering
- search algorithm
- hardware implementation
- massively parallel
- theorem prover
- image processing
- computing systems
- personal computer
- computing power
- computer systems
- formal verification
- hardware architecture
- vlsi implementation