Formal verification of concurrent software: Two case studiesHana ChocklerEitan Farchiet al.2006PADTAD 2006
Producing scheduling that causes concurrent programs to failYosi Ben-AsherYaniv Eytaniet al.2006PADTAD 2006