Preface of Automated Verification of Critical Systems 2010 (AVoCS 2010).

Jens Bendisposto Michael Leuschel Markus Roggenbach

Published in: Sci. Comput. Program. (2014)

Keyphrases

automated verification
model checking
automated reasoning
real world
formal verification
data sets
management system
neural network
genetic algorithm
artificial intelligence
website
multi agent
mobile devices
np hard
knowledge based systems
learning systems