-
Ready, Set, Verify! Applying hs-to-coq to real-world Haskell code
Good tools can bring mechanical verification to programs written in main...
03/19/2018 ∙ by Joachim Breitner, et al. ∙
0
∙
share
read it
-
Total Haskell is Reasonable Coq
We would like to use the Coq proof assistant to mechanically verify prop...
11/25/2017 ∙ by Antal Spector-Zabusky, et al. ∙
0
∙
share
read it
-
Embracing a mechanized formalization gap
If a code base is so big and complicated that complete mechanical verifi...
10/25/2019 ∙ by Antal Spector-Zabusky, et al. ∙
0
∙
share
read it
