A navigational logic for reasoning about graph properties

DOI10.1016/j.jlamp.2020.100616zbMath1455.68147OpenAlexW3092494699MaRDI QIDQ1996850

Elvira Pino, Fernando Orejas, Marisa Navarro, Leen Lambers

Publication date: 26 February 2021

Published in: Journal of Logical and Algebraic Methods in Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.jlamp.2020.100616

zbMATH Keywords

specificationalgebraic methodsformal modellinggraph logic

Mathematics Subject Classification ID

Graph theory (including graph drawing) in computer science (68R10) Logic in computer science (03B70)

Related Items

Monadic second-order incorrectness logic for GP 2 ⋮ Incorrectness logic for graph programs

Uses Software

• VAMPIRE

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Symbolic graphs for attributed graph constraints
• Institutions for navigational logics for graphical structures
• Reasoning with graph constraints
• Specifications in an arbitrary institution
• Towards a navigational logic for graphical structures
• Graph-based specification of access control policies
• Fundamentals of algebraic graph transformation
• Satisfiability of Constraint Specifications on XML Documents
• Semantic Acyclicity on Graph Databases
• Querying Regular Graph Patterns
• Tableau-Based Reasoning for Graph Properties
• Verifying Monadic Second-Order Properties of Graph Programs
• Resolution-Like Theorem Proving for High-Level Conditions
• Correctness of high-level transformation systems relative to nested conditions
• Institutions: abstract model theory for specification and programming
• Symbolic Model Generation for Graph Properties
• Graph Transformations
• Symmetric lenses

This page was built for publication: A navigational logic for reasoning about graph properties