Ada/Spark mentions
mratsim opened this issue · comments
AFAIK in safety critical systems, like aeronautics, train control systems and medical devices like pacemakers, Ada/Sparks is the main formal verification tool used.
And what do you expect from me here?