Login / Signup
Automated Verification of Executable UML Models.
Helle Hvid Hansen
Jeroen Ketema
Bas Luttik
Mohammad Reza Mousavi
Jaco van de Pol
Osmar Marchi dos Santos
Published in:
FMCO (2010)
Keyphrases
</>
automated verification
uml models
model checking
formal specification
automated reasoning
formal verification
object oriented
sequence diagrams
temporal logic
written in natural language
test cases
social network analysis
software testing
open source
high level
information systems
machine learning
databases