Reordering control approaches to state explosion in model checking with memory consistency models
scientific article; zbMATH DE number 6990590