GitHub repository: sireum/CASE
Primary language: Standard ML
Description: DARPA CASE program