GitHub repository: GaloisInc/VERSE-Toolchain
Primary language: OCaml
Description: Tools for testing and verifying the safety and correctness of C programs.