"The challenge in formal verification is to bridge the gap between the abstract models and the actual implementations."
Integrity is the most important currency in business. Once you lose it, you lose everything.