Formally verifiable Ada — provably safe code for the highest-stakes systems. The global Hottub for SPARK (Ada) — find others who write SPARK (Ada), send a note, and talk shop. Meet the people who do what you do.
No discussions here yet — be the first to start one when you join.