Towards automated software model checking using graph transformation systems and bogor

DOI10.1631/jzus.A0820415zbMath1185.68421OpenAlexW1974611422MaRDI QIDQ1049792

Adel T. Rahmani, Vahid Rafe

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

zbMATH Keywords

verificationgraph transformationsoftware model checkingattributed graph grammarsBogor

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Uses Software

• SPIN
• Bogor
• vUML
• CheckVML
• GROOVE

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