A Hoare-Like Calculus Using the SROIQ σ Logic on Transformations of Graphs

DOI10.1007/978-3-662-44602-7_14zbMath1417.68026OpenAlexW63759278MaRDI QIDQ3190159

Martin Strecker, Rachid Echahed, Jon Haël Brenas

Publication date: 15 September 2014

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-662-44602-7_14

zbMATH Keywords

description logictableau calculusprogramming language semanticsgraph transformation

Mathematics Subject Classification ID

Theory of programming languages (68N15) Logic in computer science (03B70) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (1)

Deciding Extended Modal Logics by Combining State Space Generation and SAT Solving

This page was built for publication: A Hoare-Like Calculus Using the SROIQ σ Logic on Transformations of Graphs