Preface of the special issue on Model Checking of Software Ezio BartocciC. R. Ramakrishnan Introduction Open access 10 February 2016 Pages: 355 - 357
Automatic equivalence checking of programs with uninterpreted functions and integer arithmetic Nuno P. LopesJosé Monteiro SPIN 2013 07 February 2015 Pages: 359 - 374
Model checking unbounded concurrent lists Divjyot SethiMuralidhar TalupurSharad Malik SPIN 2013 15 February 2015 Pages: 375 - 391
Verifying a quantitative relaxation of linearizability via refinement Kiran AdhikariJames StreetShaojie Zhang SPIN 2013 18 March 2015 Pages: 393 - 407
Efficient model-checking of weighted CTL with upper-bound constraints Jonas Finnemann JensenKim Guldstrand LarsenLars Kaerlund Oestergaard SPIN 2013 20 November 2014 Pages: 409 - 426
Guard-based partial-order reduction Alfons LaarmanElwin PaterHenri Hansen SPIN 2013 17 December 2014 Pages: 427 - 448
Guided search for hybrid systems based on coarse-grained space abstractions Sergiy BogomolovAlexandre DonzéMartin Wehrle SPIN 2013 Open access 07 August 2015 Pages: 449 - 467