RuleBase: An Industry-Oriented Formal Verification Tool.

Ilan Beer Shoham Ben-David Cindy Eisner Avner Landver

Published in: DAC (1996)

Keyphrases

formal verification
model checking
bounded model checking
automated verification
software tools
symbolic model checking
information technology
case study
artificial intelligence
dynamic programming
real world
knowledge acquisition