3 ms·
Seconded. Regarding applying SPARK, the Tokeneer case-study is an interesting read. It's self-published by AdaCore. This summary page links to the full PDF: ht
by MaxBarraclough 2y ago
Seconded. Regarding applying SPARK, the Tokeneer case-study is an interesting read. It's self-published by AdaCore.
This summary page links to the full PDF: https://www.adacore.com/tokeneer https://www.adacore.com/tokeneer