Awaiting for Godot: Stateless Model Checking that Avoids Executions where Nothing Happens.

Bengt Jonsson, Magnus Lng, Konstantinos Sagonas

Browse the full FMCAD paper archive.