An Approach for the Verification of UML Models Using B.

Ninh-Thuan Truong Jeanine Souquières

Published in: ECBS (2004)

Keyphrases

uml models
object oriented
model checking
sequence diagrams
test cases
written in natural language
data sets
verification method
databases
artificial intelligence
knowledge representation
face verification
signature verification
formal verification
test generation