Verification and Synthesis of OCL Constraints Via Topology Analysis.

Jörg Bauer Werner Damm Tobe Toben Bernd Westphal

Published in: AGTIVE (2007)

Keyphrases

real time
model checking
constraint satisfaction
data sets
computer vision
website
data analysis
relational databases
software development
software systems
modeling language
formal analysis
formal verification
mechanical devices