spark2014

Here are 5 public repositories matching this topic...

SPARK Proof Analysis Tool

proof ada formal-verification gnatprove spark-ada ada2012 ada-language spark2014 spark-proof-analysis

A cryptographic framework, proven for correctness in SPARK

Minimalist cooperative operating system supporting multiple tasks with MMU protection

embedded operating-system ada sparc mmu microkernel spark-ada cooperative-multitasking moth separation-kernel leon3 spark2014 ada-spark

Example of Bitcoin transaction parsing with Ada/SPARK2014

learning tutorial ada learning-by-doing spark-ada ada2012 spark2014

Add a description, image, and links to the spark2014 topic page so that developers can more easily learn about it.

To associate your repository with the spark2014 topic, visit your repo's landing page and select "manage topics."