Bounded Model Checking, certification, Common Criteria, interactive verification, program verification, software verification, verification tools.
