Tools and Algorithms for the Construction and Analysis of Systems

18th International Conference, TACAS 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 – April 1, 2012. Proceedings

  • Cormac Flanagan
  • Barbara König
Conference proceedings TACAS 2012

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

Table of contents

  1. Front Matter
  2. Invited Contribution

  3. SAT and SMT Based Methods

    1. Razieh Nokhbeh Zaeem, Divya Gopinath, Sarfraz Khurshid, Kathryn S. McKinley
      Pages 2-17
    2. David Hardin, Konrad Slind, Michael Whalen, Tuan-Hung Pham
      Pages 18-32
    3. Arlen Cox, Sriram Sankaranarayanan, Bor-Yuh Evan Chang
      Pages 33-47
    4. Vijay D’Silva, Leopold Haller, Daniel Kroening, Michael Tautschnig
      Pages 48-63
  4. Automata

    1. Oliver Friedmann, Martin Lange
      Pages 64-78
    2. Ondřej Lengál, Jiří Šimáček, Tomáš Vojnar
      Pages 79-94
    3. Tomáš Babiak, Mojmír Křetínský, Vojtěch Řehák, Jan Strejček
      Pages 95-109
  5. Model Checking

    1. Fu Song, Tayssir Touili
      Pages 110-125
    2. Kevin W. Hamlen, Micah M. Jones, Meera Sridhar
      Pages 126-140
    3. Aws Albarghouthi, Arie Gurfinkel, Marsha Chechik
      Pages 157-172
  6. Case Studies

    1. Ansgar Fehnker, Rob van Glabbeek, Peter Höfner, Annabelle McIver, Marius Portmann, Wee Lum Tan
      Pages 173-187
    2. Zhihao Jiang, Miroslav Pajic, Salar Moarref, Rajeev Alur, Rahul Mangharam
      Pages 188-203
  7. Memory Models and Termination

    1. Parosh Aziz Abdulla, Mohamed Faouzi Atig, Yu-Fang Chen, Carl Leonardsson, Ahmed Rezine
      Pages 204-219
    2. Huafeng Jin, Tuba Yavuz-Kahveci, Beverly A. Sanders
      Pages 220-236
    3. Corneliu Popeea, Andrey Rybalchenko
      Pages 237-251
    4. Marius Bozga, Radu Iosif, Filip Konečný
      Pages 252-266
  8. Internet Protocol Verification

    1. Alessandro Armando, Wihem Arsac, Tigran Avanesov, Michele Barletta, Alberto Calvi, Alessandro Cappai et al.
      Pages 267-282
    2. Anduo Wang, Carolyn Talcott, Alexander J. T. Gurney, Boon Thau Loo, Andre Scedrov
      Pages 283-298
  9. Stochastic Model Checking

    1. Ralf Wimmer, Nils Jansen, Erika Ábrahám, Bernd Becker, Joost-Pieter Katoen
      Pages 299-314
    2. Taolue Chen, Vojtěch Forejt, Marta Kwiatkowska, David Parker, Aistis Simaitis
      Pages 315-330
    3. Benoît Barbot, Serge Haddad, Claudine Picaronny
      Pages 331-346
    4. Johannes Hölzl, Tobias Nipkow
      Pages 347-361
  10. Synthesis

    1. Swen Jacobs, Roderick Bloem
      Pages 362-376
    2. Hu-Hsi Yeh, Cheng-Yin Wu, Chung-Yang (Ric) Huang
      Pages 377-391
    3. Bernd Finkbeiner, Hans-Jörg Peter
      Pages 392-406
  11. Provers and Analysis Techniques

    1. William Sonnex, Sophia Drossopoulou, Susan Eisenbach
      Pages 407-421
    2. Mattias Ulbrich, Ulrich Geilmann, Aboubakr Achraf El Ghazi, Mana Taghdiri
      Pages 422-436
    3. Rohit Chadha, P. Madhusudan, Mahesh Viswanathan
      Pages 437-450
    4. Ahmed Bouajjani, Michael Emmi
      Pages 451-465
  12. Tool Demonstrations

    1. Maik Merten, Falk Howar, Bernhard Steffen, Sofia Cassel, Bengt Jonsson
      Pages 466-471
    2. Margus Veanes, Nikolaj Bjørner
      Pages 472-477
    3. Alexander Heußner, Tristan Le Gall, Grégoire Sutre
      Pages 478-484
    4. Alexandre David, Lasse Jacobsen, Morten Jacobsen, Kenneth Yrke Jørgensen, Mikael H. Møller, Jiří Srba
      Pages 492-497
    5. Cyrille Jegourel, Axel Legay, Sean Sedwards
      Pages 498-503
  13. Competition on Software Verification

    1. Dirk Beyer
      Pages 504-524
    2. Pavel Shved, Mikhail Mandrykin, Vadim Mutilin
      Pages 525-527
    3. Stefan Löwe, Philipp Wendler
      Pages 528-530
    4. Daniel Wonisch
      Pages 531-533
    5. Lucas Cordeiro, Jeremy Morse, Denis Nicole, Bernd Fischer
      Pages 534-537
    6. Andreas Holzer, Daniel Kroening, Christian Schallhart, Michael Tautschnig, Helmut Veith
      Pages 538-541
    7. Carsten Sinz, Florian Merz, Stephan Falke
      Pages 542-544
    8. Kamil Dudka, Petr Müller, Petr Peringer, Tomáš Vojnar
      Pages 545-548
    9. Sergey Grebenshchikov, Ashutosh Gupta, Nuno P. Lopes, Corneliu Popeea, Andrey Rybalchenko
      Pages 549-551
    10. Gérard Basler, Alastair Donaldson, Alexander Kaiser, Daniel Kroening, Michael Tautschnig, Thomas Wahl
      Pages 552-555
    11. Georg Weissenbacher, Daniel Kroening, Sharad Malik
      Pages 556-558
  14. Back Matter

About these proceedings


This book constitutes the proceedings of the 18th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2012, held as part of the joint European Conference on Theory and Practice of Software, ETAPS 2012, which took place in Tallinn, Estonia, in March/April 2012.
The 25 research papers, 2 case study papers, 3 regular tool papers, and 6 tool demonstrations papers presented in this book were carefully reviewed and selected from a total of 147 submissions. The papers are organized in topical sections named: SAT and SMT based methods; automata; model checking; case studies; memory models and termination; internet protocol verification; stochastic model checking; synthesis; provers and analysis techniques; tool demonstrations; and competition on software verification.


communication networks software analysis software engineering theoretical computer science

Editors and affiliations

  • Cormac Flanagan
    • 1
  • Barbara König
    • 2
  1. 1.University of California at Santa CruzSanta CruzUSA
  2. 2.Fakultät für Ingenieurwesen, Abteilung für Informatik und Angewandte KognitionswissenschaftUniversität Duisburg-EssenDuisburgGermany

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 2012
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science Computer Science (R0)
  • Print ISBN 978-3-642-28755-8
  • Online ISBN 978-3-642-28756-5
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site