A Hybrid, Dynamic Logic for Hybrid-Dynamic Information Flow

DOI10.1145/3209108.3209151zbMATH Open1497.68289OpenAlexW2798427558WikidataQ130838801 ScholiaQ130838801MaRDI QIDQ5145283FDOQ5145283

Brandon Bohrer, André Platzer

Publication date: 20 January 2021

Published in: Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/3209108.3209151

zbMATH Keywords

hybrid systemsdynamic logicinformation flowformal verificationhybrid logiccyber-physical systemssmart grid

Mathematics Subject Classification ID

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

Cited In (6)

• Compositional model checking for multi-properties
• Constructive Game Logic
• Hybrid dynamic logic institutions for event/data-based systems
• A dynamic hybrid logic for followership
• Logics for actor networks: a two-stage constrained-hybridisation approach
• Constructive hybrid games

This page was built for publication: A Hybrid, Dynamic Logic for Hybrid-Dynamic Information Flow

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