A hybrid, dynamic logic for hybrid-dynamic information flow

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

Authors: 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

Recommendations

• Secure information release in timed automata
• Information flow for timed automata
• A Logical System for Modular Information Flow Verification
• Model Checking Information Flow in Reactive Systems
• scientific article; zbMATH DE number 1692933

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)