web analytics

Edit

UID: gnatprove

Crate name:

Automatic formal verification of SPARK code

Kind:
alire-lib

alire-lib

Category:

Dependencies:

minisamd51_bsp

Info updated on:
2022-11-06T01:00:00+01:00
Summary:

Example project for the MiniSAM D51

Author:

by Fabien Chouteau

Website:

github.com/Fabien-Chouteau/minisamd51_example

Ada Packages names:

github.com/Fabien-Chouteau/minisamd51_example

License:

SPDX: BSD-3-Clause

Tags:

embeddednostdsamd51minisam

File downloads:

crates.zip

crates.dmg

Details:

EEC GDPR compliant