scientific article; zbMATH DE number 7806734

arXiv2212.11630MaRDI QIDQ6198042

Detlef Plump, Unnamed Author

Publication date: 20 February 2024

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

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

Mathematics Subject Classification ID

Computer science (68-XX) Combinatorics (05-XX)

Cites Work

• Unnamed Item
• Unnamed Item
• Interactive theorem proving and program development. Coq'Art: the calculus of inductive constructions. Foreword by Gérard Huet and Christine Paulin-Mohring.
• A graph library for Isabelle
• Verifying graph programs with monadic second-order logic
• From LCF to Isabelle/HOL
• Theorem proving graph grammars with attributes and negative application conditions
• Fundamentals of algebraic graph transformation
• Double-pushout graph transformation revisited
• Concrete Semantics
• Verifying Monadic Second-Order Properties of Graph Programs
• Explicit State Model Checking for Graph Grammars
• Correctness of high-level transformation systems relative to nested conditions
• Interactive and automated proofs for graph transformations
• Graph Transformations

This page was built for publication: