Official statement：
To create the high-integrity application with Ada/SPARK language
True intention：
To program happily with Ada/SPARK language
Official statement：
To create the high-integrity application with Ada/SPARK language
True intention：
To program happily with Ada/SPARK language