GitHub repository: nmaehlmann/verify-c
Primary language: Haskell
Description: Verification tool for programs written in a subset of C using Floyd-Hoare logic.