12 ms·Introduction to Formal Verification with Spark2 points by eggy 1y agoeggy 1y agoReasons to use SPARK for embedded instead of Rust.