continuous-verification

SPARK formal verification automated with Travis CI

Search similar apps

    License

    GNU General Public License v3.0

    SPARK formal verification automated with Travis CI

    Creator

    jklmnn

    Related apps

    ParkenDD

    ParkenDD

    Android App for parking spots in Dresden.

    Java26gpl-3.0

    4 years ago

    dresdenopen-dataparkendd

    wiringPi-Ada

    Ada bindings for wiringPi

    Ada0lgpl-3.0

    6 years ago

    adaraspberry-piraspberrypi