research
∙
09/02/2021
Security-Hardening Software Libraries with Ada and SPARK – A TCP Stack Use Case
This white paper demonstrates how the assurance, reliability, and securi...
share
research
∙
08/06/2021
How the Analyzer can Help the User Help the Analyzer
The automation offered by modern program proof tools goes hand in hand w...
research
∙
11/27/2018
Lightweight Interactive Proving inside an Automatic Program Verifier
Among formal methods, the deductive verification approach allows establi...
research
∙
05/15/2018