Here are
9 public repositories
matching this topic...
Adventures for Learning and Inspiring Coding Excellence
Unbound data structures in Ada-Spark.
Minimalist cooperative operating system supporting multiple tasks with MMU protection
🚗 ADA Spark Car' Assistant Prototype for Formal Approches to software Engineer at Napier University
A pilot assistance system for a plane written in the ADA SPARK language.
Contains the practice work and code from lectures in the Formal Approaches to Software Engineering Module
A collection of silver-level SPARK 2014 verified RFSB509 implementations, that deviate from the original specifications. This is for research only.
Coursework for the Formal Approaches to Software Engineering module taken in 4th year
Improve this page
Add a description, image, and links to the
ada-spark
topic page so that developers can more easily learn about it.
Curate this topic
Add this topic to your repo
To associate your repository with the
ada-spark
topic, visit your repo's landing page and select "manage topics."
Learn more
You can’t perform that action at this time.