< Ada
Twitter logo Share LinkedIn logo Share Facebook logo Share

Awesome Ada Verification

  • ACATS ACATS 9
    star
    updated 5 months ago Other

    The Ada Conformity Assessment Test Suite, customised for GCC.

  • ACATS-grading ACATS-grading 1
    star
    updated 8 months ago

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

  • gnatcoverage gnatcoverage 32
    star
    updated 26 days ago

    GNATcoverage: Coverage Analysis Tool

  • spark2014 spark2014 235
    star
    updated 26 days ago GNU General Publi...

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