Model Checking Software 18Th International Spin Workshop Snowbird Ut Usa July 14 15 2011 Proceedings