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)