A Hybrid, Dynamic Logic for Hybrid-Dynamic Information Flow

DOI10.1145/3209108.3209151zbMath1497.68289OpenAlexW2798427558MaRDI QIDQ5145283

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 systemsformal verificationhybrid logicdynamic logicinformation flowcyber-physical systemssmart grid

Mathematics Subject Classification ID

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

Related Items (5)

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

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