1. Recent advances in interactive and automated analysis

   • Radu Mateescu

   Introduction 09 November 2017 Pages: 119 - 123

2. Coqoon

   • Alexander Faithfull
   • Jesper Bengtson
   • Carst Tankink

   TACAS 2016 02 May 2017 Pages: 125 - 137

   

3. The Tinker tool for graphical tactic development

   • Gudmund Grov
   • Yuhui Lin

   TACAS 2016 Open access 17 March 2017 Pages: 139 - 155

   

4. Multi-core symbolic bisimulation minimisation

   • Tom van Dijk
   • Jaco van de Pol

   TACAS 2016 Open access 02 August 2017 Pages: 157 - 177

   

5. Advances in probabilistic model checking with PRISM: variable reordering, quantiles and weak deterministic Büchi automata

   • Joachim Klein
   • Christel Baier
   • David Müller

   TACAS 2016 06 May 2017 Pages: 179 - 194

   

6. PRISM-games: verification and strategy synthesis for stochastic multi-player games with multiple objectives

   • Marta Kwiatkowska
   • David Parker
   • Clemens Wiltsche

   TACAS 2016 Open access 29 November 2017 Pages: 195 - 210

   

7. Automated translation of VDM to JML-annotated Java

   • Peter W. V. Tran-Jørgensen
   • Peter Gorm Larsen
   • Gary T. Leavens

   Regular Paper 11 February 2017 Pages: 211 - 235