Byron Cook
Interesting termination bug
Perhaps you heard about the
Zune leap year bug
? Sort of an interesting bug. This is a classic example of a liveness/termination bug,
as explained here
. And yes.....
TERMINATOR
can find this bug.....
Newer Posts
Older Posts
Home
Subscribe to:
Posts (Atom)