Verifying the Implementation of an Operating System Scheduler | IEEE Conference Publication | IEEE Xplore