Ada/Spark: Where is the "platinum" mode in gnatprove? Ada Spark Understanding Platinum Mode in GNA Tprove GNA Tprove is a powerful tool in the Ada and Spark programming ecosystems that helps in formal verification 2 min read 03-09-2024 34