On Scheduling Constraint Abstraction for Multi-Threaded Program Verification | IEEE Journals & Magazine | IEEE Xplore