Two-level reasoning about graph transformation programs

DOI10.1007/978-3-030-23611-3_7zbMath1429.68043OpenAlexW2955656044MaRDI QIDQ2292975

Christian Percebois, Amani Makhlouf, Hanh Nhi Tran

Publication date: 6 February 2020

Full work available at URL: https://oatao.univ-toulouse.fr/24924/1/makhlouf_24924.pdf

zbMATH Keywords

static analysisdescription logicsabstract interpretationprogram verificationgraph transformation

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Grammars and rewriting systems (68Q42) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (3)

Theorem proving graph grammars with attributes and negative application conditions ⋮ Monadic second-order incorrectness logic for GP 2 ⋮ Incorrectness logic for graph programs

This page was built for publication: Two-level reasoning about graph transformation programs