New Methods of Concurrent Checking by Michael Goessel, Vitaly Ocheretny & Daniel Marienfeld