I bought the book, and I am working through: Building High Integrity Applications with SPARK. I put Rust aside due to Ada/SPARK's lead in this industry. I think

I bought the book, and I am working through: Building High Integrity Applications with SPARK. I put Rust aside due to Ada/SPARK's lead in this industry. I think Rust will catch up, but SPARK2014 seems to be the way to go for now. [EDIT] - The CubeSat Design Team at the University of Vermont wrote the book I mentioned above, and it is using SPARK2014. I am trying to design my own satellite using this book as a guideline. I am just providing context to the short, late-night comment I made above.