HomeFortune CookiesMiscellaneous Collections

Formal verification
the construction of an incorrect proof isomorphic
to an incorrect program
-- Glossary of Software Engineering Terms

Related: