Development of Correct Graph Transformation Systems

DOI10.1007/978-3-540-87405-8_48zbMath1175.68230MaRDI QIDQ3540429

Karl-Heinz Pennemann

Publication date: 20 November 2008

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: http://oops.uni-oldenburg.de/884/1/pendev09.pdf

Mathematics Subject Classification ID

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

68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)

68Q42: Grammars and rewriting systems

68N30: Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.)

Related Items

Unnamed Item, Unnamed Item, Unnamed Item, Unnamed Item, Unnamed Item, Translating Essential OCL Invariants to Nested Graph Constraints Focusing on Set Operations, The Edge of Graph Transformation — Graphs for Behavioural Specification

Uses Software

• VAMPIRE
• TPTP
• Mace4
• Augur 2
• GROOVE

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Graph-based specification of access control policies
• Satisfiability of High-Level Conditions
• Weakest Preconditions for High-Level Programs
• Correctness of high-level transformation systems relative to nested conditions
• Graph Transformations
• An Algorithm for Approximating the Satisfiability Problem of High-level Conditions
• Formal Methods in Software and Systems Modeling