Login / Signup
A framework for formal verification of systems of synchronous components.
Stefan Milius
Henning Günther
Jan Peleska
Oliver Möller
Helge Löding
Martin Sulzmann
Ramin Hedayati
Axel Zechner
Published in:
MBEES (2012)
Keyphrases
</>
formal verification
automated verification
management system
expert systems
building blocks
complex systems
model checking
neural network
main contribution
retrieval systems
information retrieval
artificial intelligence
computer systems
design patterns
software components
model checker