Software model checking is a rich research field Antti Valmari Introduction 13 November 2008 Pages: 1 - 11
Parallel and distributed model checking in Eddy I. MelattiR. PalmerG. Gopalakrishnan SPECIAL SECTION ON SPIN 12 November 2008 Pages: 13 - 25
Directed model checking with distance-preserving abstractions Klaus DrägerBernd FinkbeinerAndreas Podelski SPECIAL SECTION ON SPIN Open access 12 November 2008 Pages: 27 - 37
Partial-order reduction for general state exploring algorithms Dragan BošnačkiStefan LeueAlberto Lluch Lafuente SPECIAL SECTION ON SPIN 14 November 2008 Pages: 39 - 51
Symbolic execution with abstraction Saswat AnandCorina S. PăsăreanuWillem Visser SPECIAL SECTION ON SPIN 11 December 2008 Pages: 53 - 67
Bounded model checking of software using SMT solvers instead of SAT solvers Alessandro ArmandoJacopo MantovaniLorenzo Platania SPECIAL SECTION ON SPIN 13 November 2008 Pages: 69 - 83