Slide 1 1 Model Checking Multithreaded C Code with SPIN Anna Zaks & Rajeev Joshi SPIN 2008 10 August, Los Angeles, USA Slide 2 Checking Multithreaded C Code The Goal:…