On the Use of Alloy to Analyze Graph Transformation Systems
From MaRDI portal
Publication:3541969
DOI10.1007/11841883_22zbMath1156.68340OpenAlexW1549164528MaRDI QIDQ3541969
Paola Spoletini, Luciano Baresi
Publication date: 27 November 2008
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/11841883_22
Grammars and rewriting systems (68Q42) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Related Items (7)
Theorem proving graph grammars with attributes and negative application conditions ⋮ Ensuring Correctness of Model Transformations While Remaining Decidable ⋮ Graph-Based Design and Analysis of Dynamic Software Architectures ⋮ Verification of graph grammars using a logical approach ⋮ Unnamed Item ⋮ Formal Verification of Graph Grammars using Mathematical Induction ⋮ Towards automated software model checking using graph transformation systems and bogor
Uses Software
This page was built for publication: On the Use of Alloy to Analyze Graph Transformation Systems
