Back to all posts

Posts tagged with "formal-verification"

The Halting Problem and Formal Verification

Trying to create a secure computer system is a terrible headache. For both theoretical and practical reasons, the odds are rarely in favor of the good guys. As an example of an unhappy theoretical dilemma, it has been known since the 80’s, based on the well-known Halting Problem, that it is...

Ready to learn more?

Visit the Contact Us page

or email us at