Affine Systems of ODEs in Isabelle/HOL for Hybrid-Program Verification

von Munive, Jonathan Julián Huerta y
Veröffentlicht in SEFM (18. : 2020 : Online) Software engineering and formal methods (2020)

Relaxing Safety for Metric First-Order Temporal Logic via Dynamic Free Variables

von Munive, Jonathan Julián Huerta y
Veröffentlicht in RV (22. : 2022 : Tiflis; Online) Runtime verification (2022)

Differential Hoare Logics and Refinement Calculi for Hybrid Systems with Isabelle/HOL

von Foster, Simon
Veröffentlicht in RAMiCS (18. : 2020 : Online) Relational and algebraic methods in computer science (2020)

Hybrid Systems Verification with Isabelle/HOL: Simpler Syntax, Better Models, Faster Proofs

von Foster, Simon
Veröffentlicht in FM (24. : 2021 : Online) Formal Methods (2021)

VeriMon: A Formally Verified Monitoring Tool

von Basin, David
Veröffentlicht in ICTAC (19. : 2022 : Tiflis) Theoretical aspects of computing - ICTAC 2022 (2022)