Verifying hybrid systems with modal Kleene algebra
From MaRDI portal
Publication:1617825
DOI10.1007/978-3-030-02149-8_14OpenAlexW2895754784MaRDI QIDQ1617825
Jonathan Julián Huerta y Munive, Georg Struth
Publication date: 8 November 2018
Full work available at URL: https://doi.org/10.1007/978-3-030-02149-8_14
Related Items (4)
Predicate transformer semantics for hybrid systems. Verification components for Isabelle/HOL ⋮ Automated Algebraic Reasoning for Collections and Local Variables with Lenses ⋮ \textsf{HHLPy}: practical verification of hybrid systems using Hoare logic ⋮ Abstract strategies and coherence
Uses Software
This page was built for publication: Verifying hybrid systems with modal Kleene algebra
