5 citations · 17 across the 6 of their papers we have counts for
6 papers
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…
Deeply Integrating C11 Code Support into Isabelle/PIDE
Frédéric Tuong, Burkhart Wolff
We present a framework for C code in C11 syntax deeply integrated into the Isabelle/PIDE development environment. Our framework provides an abstract interface for verification back…
Making Agile Development Processes fit for V-style Certification Procedures
Sergio Bezzecchi, Paolo Crisafulli, Charlotte Pichot +1
We present a process for the development of safety and security critical components in transportation systems targeting a high-level certification (CENELEC 50126/50128, DO 178, CC…
Report on the Aachen OCL Meeting
Achim D. Brucker, Dan Chiorean, Tony Clark +6
As a continuation of the OCL workshop during the MODELS 2013 conference in October 2013, a number of OCL experts decided to meet in November 2013 in Aachen for two days to discuss…
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.
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…