Validation of UML Models via a Mapping to Communicating Extended Timed Automata.

Iulian Ober Susanne Graf Ileana Ober

Published in: SPIN (2004)

Keyphrases

uml models
timed automata
model checking
sequence diagrams
reachability analysis
object oriented
theorem proving
intermediate representation
databases
test cases
theorem prover
knowledge base
natural language
first order logic
training data
temporal logic
high level
real time