Formal Methods offer key methods for constructing a reliable and trustworthy IT infrastructure. Here are some success stories: