A hybrid, dynamic logic for hybrid-dynamic information flow

DOI10.1145/3209108.3209151MaRDI QIDQ5145283zbMATH OpenOpenAlexWikidataFDO

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

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)

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

Cited in

(7)

• Constructive game logic
• Compositional model checking for multi-properties
• Secure information release in timed automata
• 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)