3 ms·
SPARK/Ada is an example of a language/proof system used for real world software. Especially embedded military systems.
by mbrodersen 5y ago
SPARK/Ada is an example of a language/proof system used for real world software. Especially embedded military systems.