Verifying graph programs with monadic second-order logic
type: Item
instance of: scholarly article
title: Verifying graph programs with monadic second-order logic
zbMATH Open document ID: 1492.68043
DOI: 10.1007/978-3-030-78946-6_13
author: Gia S. Wulandari
author: Detlef Plump
publication date: 2022-03-21T00:00:00Z
full work available at URL: WulandariPlump.ICGT.21.pdf
Mathematics Subject Classification ID: 68N30
Mathematics Subject Classification ID: 03B70
Mathematics Subject Classification ID: 68Q42
Mathematics Subject Classification ID: 68Q60
Mathematics Subject Classification ID: 68R10
zbMATH DE Number: 7493665
describes a project that uses: Coq
describes a project that uses: GP 2
MaRDI profile type: Publication
OpenAlex ID: W3173413130
cites work: The monadic second-order logic of graphs. I: Recognizable sets of finite graphs
cites work: Q3077955
cites work: Correctness of high-level transformation systems relative to nested conditions
cites work: Q4438775
cites work: Q4823141
cites work: Concrete Semantics
cites work: The Graph Programming Language GP
cites work: From imperative to rule-based graph programs
cites work: Hoare-style verification of graph programs
cites work: Verifying Monadic Second-Order Properties of Graph Programs
cites work: Q5021228
description: scientific article; zbMATH DE number 7493665