Program Verification

Assertion checkers

Correctness proofs

Reliabilty

Validation