Volume 54, Issue 8

December 2017

Special issue: The 21st International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2015)

Issue Editors:

4 articles in this issue

Special issue of the 21st International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2015)
Christel Baier
Cesare Tinelli
Editorial 24 April 2017 Pages: 727 - 728
Approximate counting in SMT and value estimation for probabilistic programs
Dmitry Chistikov
Rayna Dimitrova
Rupak Majumdar
Original Article 12 April 2017 Pages: 729 - 764
Model checking the evolution of gene regulatory networks
Mirco Giacobbe
Călin C. Guet
Tatjana Petrov
Original Article Open access 22 August 2016 Pages: 765 - 787
Stateless model checking for TSO and PSO
Parosh Aziz Abdulla
Stavros Aronis
Konstantinos Sagonas
Original Article 07 July 2016 Pages: 789 - 818

Search