Towards automated software model checking using graph transformation systems and bogor
From MaRDI portal
Publication:1049792
DOI10.1631/jzus.A0820415zbMath1185.68421OpenAlexW1974611422MaRDI QIDQ1049792
Publication date: 13 January 2010
Published in: Journal of Zhejiang University. Science A (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1631/jzus.a0820415
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Automatic verification of a behavioural subset of UML statechart diagrams using the SPIN model-checker
- Formal Verification of Object-Oriented Graph Grammars Specifications
- On the Use of Alloy to Analyze Graph Transformation Systems
- Handbook of Graph Grammars and Computing by Graph Transformation
- Graph Transformations
- CONCUR 2004 - Concurrency Theory
- Analysis of UML Activities Using Dynamic Meta Modeling
- Global Computing
- Formal Analysis of Workflows Using UML 2.0 Activities and Graph Transformation Systems
- Formal Methods for Open Object-Based Distributed Systems
This page was built for publication: Towards automated software model checking using graph transformation systems and bogor