Verification of behavioural elements of UML models using B.

Ninh-Thuan Truong Jeanine Souquières

Published in: SAC (2005)

Keyphrases

uml models
object oriented
sequence diagrams
test cases
software development
model checking
behavioural patterns
artificial intelligence
verification method
test generation
formal verification
signature verification
production system
image quality
image classification
general purpose
low level