Stateless model checking for TSO and PSO
scientific article; zbMATH DE number 6815085