Spark Formal Verification
5 projects
Showing 5 of 5 projects
adamantAda
A component-based, model-driven framework for building reliable embedded real-time software in Ada, originally for spacecraft flight software.
#real-time-software#embedded-systems#yaml-modeling
Stars48
Forks12
Last commit28 days ago
crate-of-the-year
Yearly prize awarding $6,000 to the best Alire crates in Ada, SPARK, and embedded categories to grow the ecosystem.
#embedded-systems#library-development#software-safety
Stars25
Forks3
Last commit7 months ago
evb1000C
Ada/SPARK drivers for controlling peripherals on the DecaWave EVB1000 evaluation board.
#device-drivers#embedded-systems#evaluation-board
Stars0
Forks1
Last commit9 years ago
elogsAda
A SPARK-proven logging library for embedded systems, guaranteed free of runtime errors.
#embedded-systems#runtime-error-free#safety-critical
Stars0
Forks0
Last commit3 months ago
multiplexed-ioAda
Explorations of multiplexed digital I/O drivers for AdaPilot using Ada 2012 Ravenscar profile and SPARK for verification.
#device-drivers#embedded-systems#ada-2012
Stars0
Forks1
Last commit9 years ago
Related Tags
Community-curated · Updated weekly · 100% open source
Found a gem we're missing?
Open-Awesome is built by the community, for the community. Submit a project, suggest an awesome list, or help improve the catalog on GitHub.