1. Some recent advances in automated analysis

   • Erika Ábrahám
   • Klaus Havelund

   TACAS 2014 13 October 2015 Pages: 121 - 128

2. Concurrent depth-first search algorithms based on Tarjan’s Algorithm

   • Gavin Lowe

   TACAS 2014 15 May 2015 Pages: 129 - 147

   

3. FDR3: a parallel refinement checker for CSP

   • Thomas Gibson-Robinson
   • Philip Armstrong
   • A. W. Roscoe

   TACAS 2014 05 April 2015 Pages: 149 - 167

   

4. 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

   

5. 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

   

6. Monitoring modulo theories

   • Normann Decker
   • Martin Leucker
   • Daniel Thoma

   TACAS 2014 09 May 2015 Pages: 205 - 225

   

7. 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