AdaCore: Creating Your Own Ada/SPARK Coding Standard

by Michael Frank – May 20, 2024. Many of our customers ask if we have a "Coding Standard" that we can provide for writing code in Ada or SPARK. The answer has typically been: "We provide GNATcheck, which you can use to create your own." While this provides a lot of flexibility and control to the…