Advanced verification by automatic property generation.

Frank Rogin Thomas Klotz Görschwin Fey Rolf Drechsler Steffen Rülke

Published in: IET Comput. Digit. Tech. (2009)

Keyphrases

semi automatic
fully automatic
real time
desirable properties
data sets
image processing
decision trees
probabilistic model
model checking