Pages tagged FormalMethods address mathematical techniques for specifying and verifying systems. This includes model checking, type theory, program verification, and the broader application of mathematical rigor to ensure that systems behave as intended.
Related tags: proof-assistant, specification.
External alignment: formal methods in computer science, software verification, and the intersection of logic and programming language theory.