Verifying hybrid systems with modal Kleene algebra

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

Mathematics Subject Classification ID

Theory of computing (68Qxx)

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

• Unnamed Item

This page was built for publication: Verifying hybrid systems with modal Kleene algebra