Verifying graph transformation systems with description logics

DOI10.1007/978-3-319-92991-0_10MaRDI QIDQ1663990zbMATHOpenAlexFDO

Authors Jon Haël Brenas, Rachid Echahed, Martin Strecker

Publication date 24 August 2018

Full work available at URL https://doi.org/10.1007/978-3-319-92991-0_10

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42) Specification and verification (program logics, model checking, etc.) (68Q60) Logic in artificial intelligence (68T27)

Recommendations

• Verifying a behavioural logic for graph transformation systems
• Two-level reasoning about graph transformation programs
• A Temporal Graph Logic for Verification of Graph Transformation Systems
• Proving correctness of logically decorated graph rewriting systems
• Modeling and verifying graph transformations in proof assistants

Cited in

(18)

• Monadic second-order incorrectness logic for GP 2
• Modeling and verifying graph transformations in proof assistants
• A Temporal Graph Logic for Verification of Graph Transformation Systems
• Incorrectness logic for graph programs
• Analysis of graph transformation systems: native vs translation-based techniques
• Proving correctness of logically decorated graph rewriting systems
• A strict constrained superposition calculus for graphs
• Development of Correct Graph Transformation Systems
• Nested Quantification in Graph Transformation Rules
• A dynamic logic for termgraph rewriting
• A rule-based procedure for graph query solving
• Specification and verification of a linear-time temporal logic for graph transformation
• A Hoare-like calculus using the \(\mathrm{SROIQ}^{\sigma }\) logic on transformations of graphs
• Parameterized Verification of Graph Transformation Systems with Whole Neighbourhood Operations
• Two-level reasoning about graph transformation programs
• Verifying a behavioural logic for graph transformation systems
• Parallel rewriting of attributed graphs
• scientific article; zbMATH DE number 1504837 (Why is no real title available?)

This page was built for publication: Verifying graph transformation systems with description logics

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1663990)