1. Software Verification: State-Event-based Reasoningand Deadlock DetectionNatasha SharyginaJoint work with Sagar Chaki, Ed Clarke, Joel Ouaknine USI-CMU summer school 2007Natasha…