Model Checking Software : 18th International SPIN Workshop, Snowbird, UT, USA, July 14-15, 2011, Proceedings - Alex Groce, Madanlal Musuvathi ((Lecture Notes in Computer Science))