5 citations · 17 across the 6 of their papers we have counts for
1 paper · 2 filters
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…