Volume 50, Issue 2-3

June 2017

Special issue on CAV 2015

Issue Editor:

7 articles in this issue

From non-preemptive to preemptive scheduling using synchronization synthesis
Pavol Černý
Edmund M. Clarke
Thorsten Tarrach
OriginalPaper Open access 27 September 2016 Pages: 97 - 139
Model checking parameterized asynchronous shared-memory systems
Antoine Durand-Gasselin
Javier Esparza
Rupak Majumdar
OriginalPaper 24 October 2016 Pages: 140 - 167
Quantifying conformance using the Skorokhod metric
Jyotirmoy V. Deshmukh
Rupak Majumdar
Vinayak S. Prabhu
OriginalPaper Open access 12 April 2017 Pages: 168 - 206
Percentile queries in multi-dimensional Markov decision processes
Mickael Randour
Jean-François Raskin
Ocan Sankur
OriginalPaper 05 January 2017 Pages: 207 - 248
Z3str2: an efficient solver for strings, regular expressions, and length constraints
Yunhui Zheng
Vijay Ganesh
Xiangyu Zhang
OriginalPaper 27 December 2016 Pages: 249 - 288
Empirical software metrics for benchmarking of verification tools
Yulia Demyanova
Thomas Pani
Florian Zuleger
OriginalPaper Open access 10 January 2017 Pages: 289 - 316
Symbolic trajectory evaluation for word-level verification: theory and implementation
Supratik Chakraborty
Zurab Khasidashvili
Rakesh Mistry
OriginalPaper 14 February 2017 Pages: 317 - 352

Search