State Verification.

Henrik Björklund

Published in: Model-Based Testing of Reactive Systems (2004)

Keyphrases

state space
databases
neural network
data sets
learning algorithm
information systems
knowledge base
significant improvement
formal verification