Concurrent checking for logic [review of "New Methods of Concurrent Checking (Goessel, M., et al; 2008)]

This is a review of New Methods of Concurrent Checking (by Michael Goessel, Vitaly Ocheretny, Egor Sogomonyan, and Daniel Marienfeld).