spark2014

There are 1 repository under spark2014 topic.

• spat

  HeisenbugLtd / spat

  SPARK Proof Analysis Tool

  spark2014ada2012formal-verificationadaspark-proof-analysisproofspark-adaada-languagegnatprove
  Language:Ada 15
• Saatana

  HeisenbugLtd / Saatana

  A cryptographic framework, proven for correctness in SPARK

  adaformal-verificationcryptographic-frameworkcryptographyada2012spark2014encryptionspark-adaada-language
  Language:Ada 12

• jcdubois / moth

  Minimalist cooperative operating system supporting multiple tasks with MMU protection

  mothmmusparccooperative-multitaskingembeddedoperating-systemmicrokernelseparation-kerneladaada-sparkspark2014leon3spark-ada
  Language:C 8

• dgpv / spark-bitcoin-transaction-example

  Example of Bitcoin transaction parsing with Ada/SPARK2014

  bitcoin-transaction-parsingspark2014adaproofbitcoinformal-verificationformal-methods
  Language:Ada 6

• HonkiTonk / Honki-Tonks-Ada-Tutorial

  adalearninglearning-by-doingada2012spark-adaspark2014tutorial
  1