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

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

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
  • Print ISBN 978-3-642-28755-8
  • Online ISBN 978-3-642-28756-5
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book