Formal Verification

Formalizing Grounded Arithmetic atop Isabelle/Pure – Sascha Kehrli	Sep 30 2025
Reasoning Around Paradox with Grounded Deduction	Sep 12 2024
CertiKOS: A Certified Kernel for Secure Cloud Computing	Jul 11 2011
Advanced Development of Certified OS Kernels	Jul 15 2010