Intra- and interdiagram consistency checking of behavioral multiview models
Formalization of the semantics of a modeling language similar to UML. Consistency checking via SAT encodings. Direct integration of verification in modeling environment.
consistency checking multiview modeling sat encodings unified modeling language