A framework for model transformation verification (Q903517): Difference between revisions

@@ Property / describes a project that uses @@
+UMLtoCSP
@@ Property / describes a project that uses: UMLtoCSP / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+UML2Alloy
@@ Property / describes a project that uses: UML2Alloy / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+z3
@@ Property / describes a project that uses: z3 / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+HOL-OCL
@@ Property / describes a project that uses: HOL-OCL / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2069633766
@@ Property / OpenAlex ID: W2069633766 / rank @@
+Normal rank
@@ Property / cites work @@
+A Type-Theoretic Framework for Certified Model Transformations
+Normal rank
@@ Property / cites work @@
+Institutions: abstract model theory for specification and programming
+Normal rank
@@ Property / cites work @@
+A Model-Based Development Approach for Model Transformations
+Normal rank
@@ Property / cites work @@
+A framework for model transformation verification
@@ Property / cites work: A framework for model transformation verification / rank @@
+Normal rank
@@ Property / cites work @@
+Q2848432
@@ Property / cites work: Q2848432 / rank @@
+Normal rank
@@ Property / cites work @@
+Towards Verifying Model Transformations
@@ Property / cites work: Towards Verifying Model Transformations / rank @@
+Normal rank
@@ Property / cites work @@
+Graph Transformations
@@ Property / cites work: Graph Transformations / rank @@
+Normal rank
@@ Property / cites work @@
+Encoding OCL Data Types for SAT-Based Verification of UML/OCL Models
+Normal rank
@@ Property / cites work @@
+Termination Analysis of Model Transformations by Petri Nets
+Normal rank