On the Use of Alloy to Analyze Graph Transformation Systems
From MaRDI portal
Publication:3541969
DOI10.1007/11841883_22zbMath1156.68340MaRDI 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
68Q42: Grammars and rewriting systems
68N30: Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.)
Related Items
Unnamed Item, Formal Verification of Graph Grammars using Mathematical Induction, Verification of graph grammars using a logical approach, Towards automated software model checking using graph transformation systems and bogor, 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
Uses Software