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 Post
Older Post
Home