vUML

MaRDI QIDQ21454swMATHFDO

Official website http://ieeexplore.ieee.org/xpl/login.jsp?tp=&arnumber=802301

Cited in

(17)

• Formal verification of safety protocol in train control system
• Fundamental Approaches to Software Engineering
• scientific article; zbMATH DE number 2016088 (Why is no real title available?)
• scientific article; zbMATH DE number 1956498 (Why is no real title available?)
• Improving UML with Petri nets
• Intra- and interdiagram consistency checking of behavioral multiview models
• Correct transformation: from object-based graph grammars to PROMELA
• scientific article; zbMATH DE number 1949623 (Why is no real title available?)
• SecureUML
• PROGRES
• Cadence SMV
• CheckVML
• GROOVE
• SOCLE
• ASM Workbench
• Towards automated software model checking using graph transformation systems and bogor
• Model Checking of Extended OCL Constraints on UML Models in SOCLe

This page was built for software: vUML