An Ada frontend for CBMC. Named thus because it is implemented as a backend for the GNAT Ada Compiler (see also: AdaCore), that produces a GOTO program (the internal program representation of CBMC) in JSON format.
For instructions on building the project, see gnat2goto/COMPILING.md
For an overview of the project, see the Wiki