5 citations · 17 across the 6 of their papers we have counts for
Showing cs.LOShow all
3 papers · 1 filter
cs.LO2023
Automated Reasoning for Physical Quantities, Units, and Measurements in Isabelle/HOL
Simon Foster, Burkhart Wolff
Formal verification of cyber-physical and robotic systems requires that we can accurately model physical quantities that exist in the real-world. The use of explicit units in such…
cs.LO2013★ 1 cited
Pervasive Parallelism in Highly-Trustable Interactive Theorem Proving Systems
Bruno Barras, Lourdes del Carmen González Huesca, Hugo Herbelin +4
This is an overview of the Paral-ITP project, which intents to make the proof assistants Isabelle and Coq fit for the multicore era.
cs.LO2012★ 5 cited
Isabelle/PIDE as Platform for Educational Tools
Makarius Wenzel, Burkhart Wolff
The Isabelle/PIDE platform addresses the question whether proof assistants of the LCF family are suitable as technological basis for educational tools. The traditionally strong log…