Interactive verification of synchronous systems.

Manuel Gesell Klaus Schneider

Published in: MEMOCODE (2012)

Keyphrases

case study
learning systems
model checking
user friendly
computing systems
database
data sets
databases
neural network
information retrieval
multi agent systems
evolutionary algorithm
formal methods
security systems