Practical Verification Strategy for Refinement Conditions in UML Models.

Claudia Pons Diego García

Published in: IFIP Workshop on Advanced Software Engineering (2006)

Keyphrases

uml models
object oriented
model checking
sufficient conditions
real world
face verification
verification method
relational databases
data model
image quality
test cases
petri net
formal verification