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 improve your security measures?

We're here to help.

Contact us
or email us directly at