Formal Methods
Mathematically based techniques used to carefully describe, check, or prove that a computer system works correctly
Mathematically based techniques used to carefully describe, check, or prove that a computer system works correctly
Share this glossary:
Share on Facebook Share on Twitter Share via Email Share on LinkedIn Share on Pinterest