I am almost finished working my way through the book "Building High Integrity Applications with SPARK"[1]. I dropped Rust and found SPARK easier to work with,

I am almost finished working my way through the book "Building High Integrity Applications with SPARK"[1]. I dropped Rust and found SPARK easier to work with, and one of the book's authors is a professor at Vermont Technical College (VTC) in the CubeSat Laboratory[2] where Ada/SPARK are used. The book is a great way to get exposed to a lot of subjects around high integrity, secure software. Highly recommended. [1] https://www.cambridge.org/core/books/building-high-integrity-applications-with-spark/F213D9867D2E271F5FF3EDA765D48E95 https://www.cambridge.org/core/books/building-high-integrity... [2] http://cubesatlab.org/ http://cubesatlab.org/