News for hackers. Stuff that matters.

A comment on You Don't Know Jack About Formal Verification. Parent comment

Re:You Don't Know Jack About Formal Verification by toast0 on Monday June 29, 2026 @06:49PM (#48726362)
> The promises you get is that the program will always terminate

I don't want my programs to terminate though.

[ Parent | on HN ]
Re:You Don't Know Jack About Formal Verification by derdi on Tuesday June 30, 2026 @03:09AM (#48729455)
Oh no, you have just proved formal verification useless! Or, if you have an outer event loop that should potentially run forever, you mark only that one loop accordingly (details depend on the system).
[ Parent | on HN ]