Report - Dynamic Reductions for Model Checking Concurrent Softwarealfons.laarman.com/slides/vmcai_2017_dynamic.pdf · Lipton Reduction [Lipton ’77, Lamport et al. ’89] Lipton Reduction

Select PornographicDefamatoryIllegal/UnlawfulSpamOther Terms Of Service ViolationFile a copyright complaint

Please pass captcha verification before submit form