A hybrid dynamic logic for event/data-based systems

DOI10.1007/978-3-030-16722-6_5zbMath1524.68192OpenAlexW2918970689MaRDI QIDQ6091319

Alexander Knapp, Rolf Hennicker, Alexandre Madeira

Publication date: 24 November 2023

Published in: Fundamental Approaches to Software Engineering (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-030-16722-6_5

Mathematics Subject Classification ID

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

Related Items (2)

Institution-based encoding and verification of simple UML state machines in CASL/SPASS ⋮ Dynamic Reconfiguration via Typed Modalities

This page was built for publication: A hybrid dynamic logic for event/data-based systems