Login / Signup
Putting it all together - Formal verification of the VAMP.
Sven Beyer
Christian Jacobi
Daniel Kröning
Dirk Leinenbach
Wolfgang J. Paul
Published in:
Int. J. Softw. Tools Technol. Transf. (2006)
Keyphrases
</>
formal verification
model checking
model checker
bounded model checking
automated verification
symbolic model checking
coloured petri nets
program slicing
software engineering
programming language
dynamical systems
functional verification