4 ms·

Building High Integrity Applications with SPARK https://www.amazon.com/Building-High-Integrity-Applications-SPARK/dp/1107040736 https://www.amazon.com/Building

Building High Integrity Applications with SPARK https://www.amazon.com/Building-High-Integrity-Applications-SPARK/dp/1107040736 https://www.amazon.com/Building-High-Integrity-Applications-... That will be more practical than most works on formal verification.

LiamPowell 2y ago
Also: https://www.adacore.com/books/implementation-guidance-spark https://www.adacore.com/books/implementation-guidance-spark