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

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

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
  • Print ISBN 978-3-662-49673-2
  • Online ISBN 978-3-662-49674-9
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book