scientific article; zbMATH DE number 7456057

MaRDI QIDQ5021228

Detlef Plump, Gia S. Wulandari

Publication date: 12 January 2022

Full work available at URL: https://arxiv.org/abs/2012.01662

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Theory of computing (68Qxx)

Related Items (4)

Unnamed Item ⋮ Monadic second-order incorrectness logic for GP 2 ⋮ Incorrectness logic for graph programs ⋮ Verifying graph programs with monadic second-order logic

Uses Software

• GP 2

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Elements of finite model theory.
• Fundamentals of algebraic graph transformation
• Hoare-Style Verification of Graph Programs
• Development of Correct Graph Transformation Systems
• Reflections on the Work of C.A.R. Hoare
• Correctness of high-level transformation systems relative to nested conditions
• Soundness and Completeness of an Axiom System for Program Verification
• A Hoare Calculus for Graph Programs

This page was built for publication: