A hybrid dynamic logic for event/data-based systems

DOI10.1007/978-3-030-16722-6_5MaRDI QIDQ6091319zbMATH OpenOpenAlexFDO

Authors Rolf Hennicker, Alexandre Madeira, Alexander Knapp

Publication date 24 November 2023

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

Copyright license Creative Commons Attribution 4.0 International

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)

Recommendations

• Hybrid dynamic logic institutions for event/data-based systems
• Specification of systems with parameterised events: An institution-independent approach
• Dynamic logic with binders and its application to the development of reactive systems
• A formal framework for Hybrid Event B
• On the specification of elementary reactive behaviour

Cited in

(4)

• Specification of systems with parameterised events: An institution-independent approach
• Institution-based encoding and verification of simple UML state machines in CASL/SPASS
• Proof-Based Approach to Hybrid Systems Development: Dynamic Logic and Event-B
• Dynamic Reconfiguration via Typed Modalities

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6091319)