research
∙
12/11/2021
Overcoming Restraint: Composing Verification of Foreign Functions with Cogent
Cogent is a restricted functional language designed to reduce the cost o...
share
research
∙
02/19/2021
Overcoming Restraint: Modular Refinement using Cogent's Principled Foreign Function Interface
Cogent is a restricted functional language designed to reduce the cost o...
research
∙
05/14/2018
Structural Operational Semantics for Control Flow Graph Machines
Compilers use control flow graph (CFG) representations of low-level prog...
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