Evaluating UML Sequence Models using the SPIN Model Checker.

Yoshiyuki Shinkawa

Published in: ICEIS (3) (2010)

Keyphrases

model checking
object oriented
high level
formal methods
specification language
model checker
query language
knowledge representation
software engineering
domain specific