Formal Verification of Dynamic Evolution Processes of UML Models Using Aspects.

Yasuyuki Tahara Akihiko Ohsuga Shinichi Honiden

Published in: SEAMS@ICSE (2017)

Keyphrases

formal verification
uml models
dynamic aspects
model checking
model checker
sequence diagrams
computational models
artificial intelligence
symbolic model checking
information systems
belief revision
intermediate level
automated verification