UML model checking

MaRDI QIDQ5309538zbMATH OpenFDO

Authors Dan Chiorean, Adrian Carcu, Mihai Pasca, Cristian Botiza, Horia Chiorean, Sorin Moldovan

Publication date 9 October 2007

zbMATH Keywords

1.4AOCASE ToolsOCLOCL evaluatorUMLUML model checkingWFR

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Recommendations

• Model Checking of Extended OCL Constraints on UML Models in SOCLe
• USE: A UML-based specification environment for validating UML and OCL
• A new approach to model checking of UML state machines
• Diagram design in OCL evaluator
• scientific article; zbMATH DE number 2085181

Cited in

(7)

• USE: A UML-based specification environment for validating UML and OCL
• Encoding OCL data types for SAT-based verification of UML/OCL models
• scientific article; zbMATH DE number 1919419 (Why is no real title available?)
• scientific article; zbMATH DE number 2087531 (Why is no real title available?)
• A new approach to model checking of UML state machines
• Diagram design in OCL evaluator
• Model Checking of Extended OCL Constraints on UML Models in SOCLe

This page was built for publication: UML model checking

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5309538)