Automatic Generation of a Verification Platform.

Suad Katjazovic Christian Steger Andreas Schuhai Markus Pistauer

Published in: FDL (2005)

Keyphrases

model checking
real time
automatically generate
formal methods
data sets
concurrent systems
neural network
multimedia
expert systems
control system
verification method