Model Checking, Tla Plus, TLC, Java, Concurrency.
deadlock case for this system: java AnnotatedBuffer 2 3 2 3 2 01:35:39.047: DEADLOCK after 3970423422 messages and 1576335.9 seconds! Note that this is almost 4 billion messages and more than 18 days running! (The output used in this page is real. It comes from an actual run on an 8-core machine,