This screen capture is a demo of the Sync-or-Swim static protocol checker for Java. Sync-or-Swim checks that object protocols are used and implemented correctly in concurrent Java programs. It was developed by Nels Beckman and is based on Plural which was developed by Kevin Bierhoff.

Both tools can be obtained from the Google Code web site:
code.google.com/p/pluralism/

Watching in fullscreen HD is highly recommended! It's probably the only way you'll be able to read the text.