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

Search all International Journal on Software Tools for Technology Transfer articles

Volume 18, Issue 2

April 2016

TACAS 2014

Filter by

Volume:

Sort by

Date published:

New to old Old to new

7 articles in this issue

Some recent advances in automated analysis
Erika Ábrahám
Klaus Havelund
TACAS 2014 13 October 2015 Pages: 121 - 128
Concurrent depth-first search algorithms based on Tarjan’s Algorithm
Gavin Lowe
TACAS 2014 15 May 2015 Pages: 129 - 147
FDR3: a parallel refinement checker for CSP
Thomas Gibson-Robinson
Philip Armstrong
A. W. Roscoe
TACAS 2014 05 April 2015 Pages: 149 - 167
Many-core on-the-fly model checking of safety properties using GPUs
Anton Wijs
Dragan Bošnački
TACAS 2014 Open access 29 April 2015 Pages: 169 - 185
SATMC: a SAT-based model checker for security protocols, business processes, and security APIs
Alessandro Armando
Roberto Carbone
Luca Compagna
Tacas 2014 03 June 2015 Pages: 187 - 204
Monitoring modulo theories
Normann Decker
Martin Leucker
Daniel Thoma
TACAS 2014 09 May 2015 Pages: 205 - 225
Probabilistic verification and synthesis of the next generation airborne collision avoidance system
Christian von Essen
Dimitra Giannakopoulou
TACAS 2014 17 July 2015 Pages: 227 - 243