Awaiting for Godot : stateless model checking that avoids executions where nothing happens

Bengt Jönsson, Magnus Lång, Konstantinos Sagonas

Stateless Model Checking (SMC) is a verification technique for concurrent programs that checks for safety violations by exploring all possible thread schedul...