A Hybrid Dynamic Logic for Event/Data-based Systems

Rolf Hennicker, Alexandre Madeira, Alexander Knapp

We propose ${\mathcal{E}}^{\downarrow }$-logic as a formal foundation for the specification and development of event-based systems with local data states. The logic is intended to cov…