Symbolic model generation for graph properties

DOI10.1007/978-3-662-54494-5_13MaRDI QIDQ5215908zbMATH OpenOpenAlexFDO

Authors Sven Schneider, Leen Lambers, Fernando Orejas

Publication date 13 February 2020

Published in Fundamental Approaches to Software Engineering (Search for Journal in Brave)

Full work available at URL http://hdl.handle.net/2117/114397

zbMATH Keywords

graph propertiesgraph transformationmodel generationnested graph conditionssatisfiability solvingtableau method

Mathematics Subject Classification ID

Logic in computer science (03B70) Model theory of finite structures (03C13) Graph theory (including graph drawing) in computer science (68R10) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)

Recommendations

• Finding models through graph saturation
• Tableau-based reasoning for graph properties
• A navigational logic for reasoning about graph properties
• Towards the automated generation of consistent, diverse, scalable and realistic graph models
• Efficient symbolic implementation of graph automata with applications to invariant checking

Cited in

(12)

• Towards the automated generation of consistent, diverse, scalable and realistic graph models
• Finding models through graph saturation
• A navigational logic for reasoning about graph properties
• Transformation rules with nested application conditions: critical pairs, initial conflicts \& minimality
• Monadic second-order incorrectness logic for GP 2
• Evaluation diversity for graph conditions
• Automatic generation of logical models with AGES
• Tableau-based reasoning for graph properties
• Analysis of graph transformation systems: native vs translation-based techniques
• Initial conflicts for transformation rules with nested application conditions
• Evaluation diversity for graph conditions
• Coinductive techniques for checking satisfiability of generalized nested conditions

Describes a project that uses

Uses Software

• Clafer

This page was built for publication: Symbolic model generation for graph properties

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