Quantitative Verification See the following folders for each case study Case Study Work Stealing SRTP Linux CPU Scheduler All Ring Reduce Scheduler