Certifying Differential Equation Solutions from Computer Algebra Systems in Isabelle/HOL. - Thomas Hickman; Christian Pardillo Laursen; Simon Foster 001 (CoRR, 2021)

Scalable Automated Verification for Cyber-Physical Systems in Isabelle/HOL. - Jonathan Julián Huerta y Munive; Simon Foster 001; Mario Gleirscher; Georg Struth; Christian Pardillo Laursen; Thomas Hickman (CoRR, 2024)

IsaVODEs: Interactive Verification of Cyber-Physical Systems at Scale. - Jonathan Julián Huerta y Munive; Simon Foster 001; Mario Gleirscher; Georg Struth; Christian Pardillo Laursen; Thomas Hickman (J. Autom. Reason., 2024)