Stav dette: AFM '07 Second Workshop on Automated Formal Methods : November 6, 2007, Atlanta, Georgia / John Rushby and Natarajan Shankar, editors. [electronic resource] :