GitHub repository: leepike/copilot-cbmc
Primary language: Haskell
Description: cbmc based tool for verifying copilot programs