< Ada

Share Share Share

Awesome Ada Verification

• ACATS 9

  

  | updated 9 months ago | Other

  The Ada Conformity Assessment Test Suite, customised for GCC.

• ACATS-grading 1

  

  | updated 9 months ago

  Tools for grading ACATS results, modified for Unix-like systems

• gnatcoverage 36

  

  | updated about 1 month ago

  GNATcoverage: Coverage Analysis Tool

• spark2014 245

  

  | updated about 1 month ago | GNU General Publi...

  SPARK 2014 is the new version of SPARK, a software development technology specifically designed for engineering high-reliability applications.