Tools and Algorithms for the Construction and Analysis of Systems

17th International Conference, TACAS 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26–April 3, 2011. Proceedings

  • Parosh Aziz Abdulla
  • K. Rustan M. Leino
Conference proceedings TACAS 2011
Part of the Lecture Notes in Computer Science book series (LNCS, volume 6605)

Table of contents

  1. Front Matter
  2. Reliable Software Development: Analysis-Aware Design

  3. Memory Models and Consistency

    1. Jabob Burnim, Koushik Sen, Christos Stergiou
      Pages 11-25
    2. Pranav Garg, P. Madhusudan
      Pages 26-40
    3. Jade Alglave, Luc Maranget, Susmit Sarkar, Peter Sewell
      Pages 41-44
  4. Invariants and Termination

    1. Sylvain Conchon, Evelyne Contejean, Mohamed Iguernelala
      Pages 45-59
    2. Kryštof Hoder, Laura Kovács, Andrei Voronkov
      Pages 60-64
    3. Diego Garbervetsky, Daniel Gorín, Ariel Neisen
      Pages 65-80
    4. Aliaksei Tsitovich, Natasha Sharygina, Christoph M. Wintersteiger, Daniel Kroening
      Pages 81-95
  5. Timed and Probabilistic Systems

    1. Nathalie Bertrand, Thierry Jéron, Amélie Stainer, Moez Krichen
      Pages 96-111
    2. Vojtěch Forejt, Marta Kwiatkowska, Gethin Norman, David Parker, Hongyang Qu
      Pages 112-127
    3. Benoît Barbot, Taolue Chen, Tingting Han, Joost-Pieter Katoen, Alexandru Mereacre
      Pages 128-142
  6. Interpolations and SAT-Solvers

    1. Alberto Griggio, Thi Thieu Hoa Le, Roberto Sebastiani
      Pages 143-157
    2. Divya Gopinath, Muhammad Zubair Malik, Sarfraz Khurshid
      Pages 173-188
    3. Michael Codish, Yoav Fekete, Carsten Fuhs, Peter Schneider-Kamp
      Pages 189-204
  7. Learning

    1. Yungbum Jung, Wonchan Lee, Bow-Yaw Wang, Kwangkuen Yi
      Pages 205-219
    2. Maik Merten, Bernhard Steffen, Falk Howar, Tiziana Margaria
      Pages 220-223
  8. Model Checking

    1. Harro Wimmel, Karsten Wolf
      Pages 224-238

About these proceedings

Introduction

This book constitutes the refereed proceedings of the 17th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2011, held in Saarbrücken, Germany, March 26—April 3, 2011, as part of ETAPS 2011, the European Joint Conferences on Theory and Practice of Software.

The 32 revised full papers presented were carefully reviewed and selected from 112 submissions. The papers are organized in topical sections on memory models and consistency, invariants and termination, timed and probabilistic systems, interpolations and SAT-solvers, learning, model checking, games and automata, verification, and probabilistic systems.

Keywords

Petri net SAT solvers SMT solvers abstraction techniques concurrent programs dependability finite-state systems model-checking real-time systems safety software modeling static analysis temporal logic theorem-proving

Editors and affiliations

  • Parosh Aziz Abdulla
    • 1
  • K. Rustan M. Leino
    • 2
  1. 1.Dept. of Information TechnologyUniversity of UppsalaUppsalaSweden
  2. 2.Microsoft ResearchRedmondUSA

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-642-19835-9
  • Copyright Information Springer Berlin Heidelberg 2011
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-642-19834-2
  • Online ISBN 978-3-642-19835-9
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book