Login / Signup
VIATRA - Visual Automated Transformations for Formal Verification and Validation of UML Models.
György Csertán
Gábor Huszerl
István Majzik
Zsigmond Pap
András Pataricza
Dániel Varró
Published in:
ASE (2002)
Keyphrases
</>
formal verification
uml models
model checking
model checker
bounded model checking
program slicing
visual features
automated verification
sequence diagrams
symbolic model checking
object oriented
d objects
formal specification