GitHub repository: GaloisInc/jvm-verifier
Primary language: Haskell
Description: The Java Symbolic Simulator, part of SAW.