This book constitutes the proceedings of the 12th International Conference on Veri¿cation and Eva...

Dynamic Partial Order Reduction under the Release-Acquire Semantics.- On the Complexity of Fault-...