Formal Verification of Infinite State Systems Using Boolean Methods.

Randal E. Bryant

Published in: LICS (2006)

Keyphrases

formal verification
expert systems
significant improvement
management system
machine learning methods
classification systems
information systems
data mining techniques
benchmark datasets
model checking
data sets
open source
retrieval systems