search

ligurio / practical-fm

A gently curated list of companies using verification formal methods in industry
495 stars 36 forks source link

Ada/Spark mentions #23

Closed mratsim closed 3 years ago

mratsim commented 3 years ago

AFAIK in safety critical systems, like aeronautics, train control systems and medical devices like pacemakers, Ada/Sparks is the main formal verification tool used.

ligurio commented 3 years ago

And what do you expect from me here?