Automated verification of functional correctness of race-free GPU programs
scientific article; zbMATH DE number 6845816