Lurch: a Lightweight Alternative to Model Checking.

David Owen, Tim Menzies

Browse the full SEKE paper archive.