research
∙
10/25/2019
Embracing a mechanized formalization gap
If a code base is so big and complicated that complete mechanical verifi...
share
research
∙
03/19/2018
Ready, Set, Verify! Applying hs-to-coq to real-world Haskell code
Good tools can bring mechanical verification to programs written in main...
research
∙
11/25/2017
