Optimal Dynamic Partial Order Reduction with Observers.

Stavros Aronis, Bengt Jonsson, Magnus Lng, Konstantinos Sagonas

Browse the full TACAS paper archive.