Thomas Hickman

Publication Activity (10 Years)

Years Active: 2021-2024
Publications (10 Years): 2

Top Topics

Natural Deduction

Automated Verification

Computer Algebra Systems

Top Venues

Publications

Jonathan Julián Huerta y Munive, Simon Foster, Mario Gleirscher, Georg Struth, Christian Pardillo Laursen, Thomas Hickman
Scalable Automated Verification for Cyber-Physical Systems in Isabelle/HOL. CoRR (2024)
Thomas Hickman, Christian Pardillo Laursen, Simon Foster
Certifying Differential Equation Solutions from Computer Algebra Systems in Isabelle/HOL. CoRR (2021)