Empirically Efficient Verification for a Class of Infinite-State Systems.

Jesse D. Bingham Alan J. Hu

Published in: TACAS (2005)

Keyphrases

automated verification
model checking
data sets
neural network
e learning
training data
complex systems
knowledge based systems
management system
support vector machine
expert systems
feature space
database
learning algorithm
real world
databases
real time