Scalable Formal Verification of UML Models.

Mohammad Mehdi Pourhashem Kallehbasti

Published in: ICSE (2) (2015)

Keyphrases

formal verification
uml models
model checking
object oriented
model checker
automated verification
bounded model checking
symbolic model checking
sequence diagrams
program slicing
information systems
test cases
written in natural language
data sets
web services