GitHub repository: AdaCore/spat
Description: SPARK Proof Analysis Tool