Raccolta di risorse gratuite per il linguaggio Ada e Spark
"Ada è un linguaggio all'avanguardia utilizzato per la realizzazione di software di importanza cruciale: dai microkernel e dai sistemi embedded in tempo reale di piccole dimensioni alle applicazioni aziendali su larga scala [...]
SPARK è un sottoinsieme di Ada analizzabile formalmente e un set di strumenti che porta la sicurezza matematica nella verifica del software."
