continuous-verification

continuous-verification

https://github.com/jklmnn/continuous-verification

Ada9

5 years ago

Reviews

SPARK formal verification automated with Travis CI

Search similar apps

    License

    GNU General Public License v3.0

    Share

    SPARK formal verification automated with Travis CI

    Creator

    jklmnn

    Related apps

    MicroTemPi

    Raspberry Pi using a BBC Micro:Bit as temperature sensor

    Ada2gpl-3.0

    6 years ago

    sl3p

    Simple Layer 3 Protocol

    Ada1agpl-3.0

    6 years ago

    STOTP

    SPARK TOTP library

    Ada7lgpl-3.0

    5 years ago

    2fa2fa-securityada

    ParkenDD

    ParkenDD

    Android App for parking spots in Dresden.

    Java26gpl-3.0

    3 years ago

    dresdenopen-dataparkendd

    wiringPi-Ada

    Ada bindings for wiringPi

    Ada0lgpl-3.0

    6 years ago

    adaraspberry-piraspberrypi