Formal verification of a partial-order reduction technique for model checking
scientific article; zbMATH DE number 1394790