1. New results in software model checking and analysis

   • Corina S. Păsăreanu

   Introduction 22 October 2010 Pages: 1 - 2

2. Probabilistic reachability for parametric Markov models

   • Ernst Moritz Hahn
   • Holger Hermanns
   • Lijun Zhang

   SPIN 09 07 April 2010 Pages: 3 - 19

3. Parallel probabilistic model checking on general purpose graphics processors

   • Dragan Bošnački
   • Stefan Edelkamp
   • Anton Wijs

   SPIN 2009 13 October 2010 Pages: 21 - 35

4. A decision procedure for detecting atomicity violations for communicating processes with locks

   • Nicholas Kidd
   • Peter Lammich
   • Thomas Reps

   SPIN 2009 21 May 2010 Pages: 37 - 60

5. Symbolic analysis via semantic reinterpretation

   • Junghee Lim
   • Akash Lal
   • Thomas Reps

   SPIN 09 15 May 2010 Pages: 61 - 87

6. Using model checking to identify errors in intrusion detection signatures

   • Sebastian Schmerl
   • Michael Vogel
   • Hartmut König

   SPIN 2009 15 July 2010 Pages: 89 - 106