Formal Verification of Infinite State Systems Using Boolean Methods.

Randal E. Bryant

Published in: RTA (2006)

Keyphrases

formal verification
preprocessing
classification systems
data mining
neural network
decision trees
computational cost
management system
real valued
mathematical models