C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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