Formal Verification Tool
Defense · Emergent (gold) · Formal Methods corpus
Mathematically proves that a program conforms to a specification, rather than just testing samples of its behaviour. Used where mistakes are catastrophic — crypto libraries, safety-critical control code.