research
∙
02/15/2023
Automated Reasoning for Physical Quantities, Units, and Measurements in Isabelle/HOL
Formal verification of cyber-physical and robotic systems requires that ...
share
research
∙
12/23/2019
Deeply Integrating C11 Code Support into Isabelle/PIDE
We present a framework for C code in C11 syntax deeply integrated into t...
research
∙
05/16/2019
Making Agile Development Processes fit for V-style Certification Procedures
We present a process for the development of safety and security critical...
research
∙
02/22/2012