Ausgabe 8/2017
Special issue: The 21st International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2015)
Inhalt (4 Artikel)
Editorial
Special issue of the 21st International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2015)
Christel Baier, Cesare Tinelli
Original Article
Approximate counting in SMT and value estimation for probabilistic programs
Dmitry Chistikov, Rayna Dimitrova, Rupak Majumdar
Open Access
Original Article
Model checking the evolution of gene regulatory networks
Mirco Giacobbe, Călin C. Guet, Ashutosh Gupta, Thomas A. Henzinger, Tiago Paixão, Tatjana Petrov
Original Article
Stateless model checking for TSO and PSO
Parosh Aziz Abdulla, Stavros Aronis, Mohamed Faouzi Atig, Bengt Jonsson, Carl Leonardsson, Konstantinos Sagonas