Stav dette: Model checking software : 17th International SPIN Workshop, Enschede, the Netherlands, September 27-29, 2010, Proceedings / Jaco van de Pol, Michael Weber (Eds.).