1. Preface of the special issue on Model Checking of Software

   • Ezio Bartocci
   • C. R. Ramakrishnan

   Introduction Open access 10 February 2016 Pages: 355 - 357

2. Automatic equivalence checking of programs with uninterpreted functions and integer arithmetic

   • Nuno P. Lopes
   • José Monteiro

   SPIN 2013 07 February 2015 Pages: 359 - 374

   

3. Model checking unbounded concurrent lists

   • Divjyot Sethi
   • Muralidhar Talupur
   • Sharad Malik

   SPIN 2013 15 February 2015 Pages: 375 - 391

   

4. Verifying a quantitative relaxation of linearizability via refinement

   • Kiran Adhikari
   • James Street
   • Shaojie Zhang

   SPIN 2013 18 March 2015 Pages: 393 - 407

   

5. Efficient model-checking of weighted CTL with upper-bound constraints

   • Jonas Finnemann Jensen
   • Kim Guldstrand Larsen
   • Lars Kaerlund Oestergaard

   SPIN 2013 20 November 2014 Pages: 409 - 426

   

6. Guard-based partial-order reduction

   • Alfons Laarman
   • Elwin Pater
   • Henri Hansen

   SPIN 2013 17 December 2014 Pages: 427 - 448

   

7. Guided search for hybrid systems based on coarse-grained space abstractions

   • Sergiy Bogomolov
   • Alexandre Donzé
   • Martin Wehrle

   SPIN 2013 Open access 07 August 2015 Pages: 449 - 467