gnatprove自体はGPLv3だし「これAda以外の言語にも移植しようぜ！」って誰か天才プログラマが移植できないんだろうか？＞＜；

AdaCore/spark2014: SPARK 2014 is the new version of SPARK, a software development technology specifically designed for engineering high-reliability applications.
https://github.com/AdaCore/spark2014