Transformation-Based Verification Using Generalized Retiming.

Andreas Kuehlmann Jason Baumgartner

Published in: CAV (2001)

Keyphrases

model checking
feature selection
databases
website
linear transformation
formal analysis
verification method
data sets
set valued
transformation rules
formal verification
petri net
evolutionary algorithm
artificial neural networks
multi agent systems
decision trees
social networks
machine learning