Volume 18, Issue 4 | International Journal on Software Tools for Technology Transfer

Search all International Journal on Software Tools for Technology Transfer articles

Volume 18, Issue 4

August 2016

SPIN 2013

Filter by

Volume:

Sort by

Date published:

New to old Old to new

7 articles in this issue

Preface of the special issue on Model Checking of Software
Ezio Bartocci
C. R. Ramakrishnan
Introduction Open access 10 February 2016 Pages: 355 - 357
Automatic equivalence checking of programs with uninterpreted functions and integer arithmetic
Nuno P. Lopes
José Monteiro
SPIN 2013 07 February 2015 Pages: 359 - 374
Model checking unbounded concurrent lists
Divjyot Sethi
Muralidhar Talupur
Sharad Malik
SPIN 2013 15 February 2015 Pages: 375 - 391
Verifying a quantitative relaxation of linearizability via refinement
Kiran Adhikari
James Street
Shaojie Zhang
SPIN 2013 18 March 2015 Pages: 393 - 407
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
Guard-based partial-order reduction
Alfons Laarman
Elwin Pater
Henri Hansen
SPIN 2013 17 December 2014 Pages: 427 - 448
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