GitHub repository: GaloisInc/crucible
Primary language: Haskell
Description: Crucible is a library for symbolic simulation of imperative programs