Tools and Algorithms for the Construction and Analysis of Systems

22nd International Conference, TACAS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings

  • Marsha Chechik
  • Jean-François Raskin
Conference proceedings TACAS 2016

Part of the Lecture Notes in Computer Science book series (LNCS, volume 9636)

Also part of the Theoretical Computer Science and General Issues book sub series (LNTCS, volume 9636)

Table of contents

  1. Front Matter
    Pages I-XIX
  2. Unifying Talk

    1. Front Matter
      Pages 1-1
    2. Rupak Majumdar
      Pages 3-13
  3. Abstraction and Verification I

    1. Front Matter
      Pages 15-15
    2. Gudmund Grov, Vytautas Tumas
      Pages 36-53
    3. Caterina Urban, Arie Gurfinkel, Temesghen Kahsai
      Pages 54-70
    4. Radu Iosif, Adam Rogalewicz, Tomáš Vojnar
      Pages 71-89
  4. Probabilistic and Stochastic Systems I

    1. Front Matter
      Pages 91-91
    2. Luca Cardelli, Mirco Tribastone, Max Tschaikowski, Andrea Vandin
      Pages 93-111
    3. Przemysław Daca, Thomas A. Henzinger, Jan Křetínský, Tatjana Petrov
      Pages 112-129
    4. Sebastian Junges, Nils Jansen, Christian Dehnert, Ufuk Topcu, Joost-Pieter Katoen
      Pages 130-146
    5. Sadegh Esmaeil Zadeh Soudjani, Rupak Majumdar, Alessandro Abate
      Pages 147-163
  5. Synthesis

    1. Front Matter
      Pages 165-165
    2. Christof Löding, P. Madhusudan, Daniel Neider
      Pages 167-185
    3. Daniel Neider, Shambwaditya Saha, P. Madhusudan
      Pages 186-203
  6. Probabilistic and Stochastic Systems II

    1. Front Matter
      Pages 223-223
    2. Olivier Bouissou, Eric Goubault, Sylvie Putot, Aleksandar Chakarov, Sriram Sankaranarayanan
      Pages 225-243
    3. Kim G. Larsen, Marius Mikučionis, Marco Muñiz, Jiří Srba, Jakob Haahr Taankvist
      Pages 244-259
    4. Aleksandar Chakarov, Yuen-Lam Voronin, Sriram Sankaranarayanan
      Pages 260-279
    5. Rayna Dimitrova, Luis María Ferrer Fioriti, Holger Hermanns, Rupak Majumdar
      Pages 280-296
  7. Tool Papers I

    1. Front Matter
      Pages 297-297
    2. Zhe Chen, Zhemin Wang, Yunlong Zhu, Hongwei Xi, Zhibin Yang
      Pages 299-315
    3. Alexander Faithfull, Jesper Bengtson, Enrico Tassi, Carst Tankink
      Pages 316-331
    4. Tom van Dijk, Jaco van de Pol
      Pages 332-348
    5. Joachim Klein, Christel Baier, Philipp Chrszon, Marcus Daum, Clemens  Dubslaff, Sascha Klüppelholz et al.
      Pages 349-366
    6. Milan Češka, Petr Pilař, Nicola Paoletti, Luboš Brim, Marta Kwiatkowska
      Pages 367-384
  8. Tool Papers II

    1. Front Matter
      Pages 385-385
    2. Marc Brockschmidt, Byron Cook, Samin Ishtiaq, Heidy Khlaaf, Nir Piterman
      Pages 387-393
    3. Souha Ben-Rayana, Marius Bozga, Saddek Bensalem, Jacques Combaz
      Pages 394-406
    4. Martin Avanzini, Georg Moser, Michael Schaper
      Pages 407-423
    5. Maria Christakis, K. Rustan M. Leino, Peter Müller, Valentin Wüstholz
      Pages 424-441
    6. Kasper Luckow, Marko Dimjašević, Dimitra Giannakopoulou, Falk Howar, Malte Isberner, Temesghen Kahsai et al.
      Pages 442-459
  9. Concurrency

    1. Front Matter
      Pages 461-461
    2. Michael Blondin, Alain Finkel, Christoph Haase, Serge Haddad
      Pages 480-496
    3. Constantin Enea, Azadeh Farzan
      Pages 497-514
  10. Tool Demos

    1. Front Matter
      Pages 531-531
    2. Benjamin Bittner, Marco Bozzano, Roberto Cavada, Alessandro Cimatti, Marco Gario, Alberto Griggio et al.
      Pages 533-539
    3. Radu Calinescu, Kenneth Johnson, Colin Paterson
      Pages 540-546
    4. Sung-Shik T. Q. Jongmans, Farhad Arbab
      Pages 547-552
    5. Marta Kwiatkowska, David Parker, Clemens Wiltsche
      Pages 560-566
    6. Luca Compagna, Daniel Ricardo dos Santos, Serena Elisa Ponta, Silvio Ranise
      Pages 567-572
    7. Yuhui Lin, Pierre Le Bras, Gudmund Grov
      Pages 573-579
    8. Rajdeep Mukherjee, Michael Tautschnig, Daniel Kroening
      Pages 580-586
  11. Abstraction and Verification II

    1. Front Matter
      Pages 587-587
    2. Kedar S. Namjoshi, Richard J. Trefler
      Pages 589-606

About these proceedings


This book constitutes the proceedings of the 22nd International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2016, which took place in Eindhoven, The Netherlands, in April 2016, held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016.
The 44 full papers presented in this volume were carefully reviewed and selected from 175 submissions. They were organized in topical sections named: abstraction and verification; probabilistic and stochastic systems; synthesis; tool papers; concurrency; tool demos; languages and automata; security; optimization; and competition on software verification – SV-COMP.


Dynamic program analysis Model-checking Security Software and hardware verification Stochastic systems Abstraction techniques Analytical techniques for real-time Compositional methodologies Dependability Hybrid systems Modeling Refinement-based methodologies Safety SAT and SMT solving Static program analysis Testing Theorem-proving Tool architectures Transformation techniques Verification

Editors and affiliations

  • Marsha Chechik
    • 1
  • Jean-François Raskin
    • 2
  1. 1.University of TorontoTorontoCanada
  2. 2.Université Libre de BruxellesBrusselsBelgium

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 2016
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science Computer Science (R0)
  • Print ISBN 978-3-662-49673-2
  • Online ISBN 978-3-662-49674-9
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site
Industry Sectors
IT & Software