Burkhart Wolff | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Generator

Featured Co-authors

Simon Foster
19 publications
Makarius Wenzel
10 publications
Sergio Bezzecchi
1 publication
Paolo Crisafulli
1 publication
Charlotte Pichot
1 publication
Frédéric Tuong
1 publication

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 ...

0 Simon Foster, et al. ∙

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...

0 Frédéric Tuong, et al. ∙

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...

0 Sergio Bezzecchi, et al. ∙

research

∙ 02/22/2012

Isabelle/PIDE as Platform for Educational Tools

The Isabelle/PIDE platform addresses the question whether proof assistan...

0 Makarius Wenzel, et al. ∙