A Verification System for Current Programs Based on the Boyer-Moore Prover.

David M. Russinoff

Published in: Formal Aspects Comput. (1992)

Keyphrases

pattern matching
boyer moore
model checking
neural network
case study
theorem prover
symbolic execution
machine learning
hardware designs
genetic algorithm
e learning
website
sliding window
answer sets