GitHub repository: symbooglix/symbooglix
Primary language: C#
Description: Symbolic Execution Engine for Boogie