3 ms·
> ADA/Spark allows for formal verification, which C/Rust do not have to my understanding. Check out Frama-C: https://frama-c.com/ https://frama-c.com/
by moonchild 6y ago
> ADA/Spark allows for formal verification, which C/Rust do not have to my understanding.
Check out Frama-C: https://frama-c.com/ https://frama-c.com/