Describir: Hacker-Proof Coding: Software verification helps find the faults, preventing hacks.