formal methods
mathematical program specification intended to allow correctness proofs, including algorithmically
en-US/ˈfɔɹməl ˈmɛθədz/
en-GB/ˈfɔːml ˈmɛθədz/
mathematical program specification intended to allow correctness proofs, including algorithmically