On Diagrams and General Model Checkers

DOI10.1007/978-3-319-91376-6_60OpenAlexW2804446479MaRDI QIDQ5878893

Sheila R. M. Veloso, Paulo A. S. Veloso, Mario R. F. Benevides, Isaque M. S. Lima

Publication date: 23 February 2023

Published in: Diagrammatic Representation and Inference (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-91376-6_60

zbMATH Keywords

diagramsmodalitiesgraphical approachgeneral model checkersgraphical converters

Mathematics Subject Classification ID

Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60)

Cites Work

• On graph calculi for multi-modal logics
• PDL for structured data: a graph-calculus approach
• Unnamed Item
• Unnamed Item

This page was built for publication: On Diagrams and General Model Checkers