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
