Tools and Algorithms for the Construction and Analysis of Systems

16th International Conference, TACAS 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings

  • Javier Esparza
  • Rupak Majumdar
Conference proceedings TACAS 2010

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

Table of contents

  1. Front Matter
  2. Invited Talks

  3. Probabilistic Systems and Optimization

    1. Marta Kwiatkowska, Gethin Norman, David Parker, Hongyang Qu
      Pages 23-37
    2. Antti Valmari, Giuliana Franceschinis
      Pages 38-52
    3. Lijun Zhang, Martin R. Neuhäußer
      Pages 53-68
    4. Julien Legriel, Colas Le Guernic, Scott Cotton, Oded Maler
      Pages 69-83
  4. Decision Procedures

    1. Sébastien Bardin, Philippe Herrmann, Florian Perroud
      Pages 84-98
    2. Alessandro Cimatti, Anders Franzén, Alberto Griggio, Roberto Sebastiani, Cristian Stenico
      Pages 99-113
    3. Rajeev Goré, Clemens Kupke, Dirk Pattinson
      Pages 114-128
    4. Matti Järvisalo, Armin Biere, Marijn Heule
      Pages 129-144
  5. Tools I

    1. Gerard Basler, Matthew Hague, Daniel Kroening, C. -H. Luke Ong, Thomas Wahl, Haoxian Zhao
      Pages 145-149
    2. Roberto Bruttomesso, Edgar Pek, Natasha Sharygina, Aliaksei Tsitovich
      Pages 150-153
    3. Fang Yu, Muath Alkhalaf, Tevfik Bultan
      Pages 154-157
  6. Automata Theory

    1. Parosh Aziz Abdulla, Yu-Fang Chen, Lukáš Holík, Richard Mayr, Tomáš Vojnar
      Pages 158-174
    2. Sebastian S. Bauer, Philip Mayer, Andreas Schroeder, Rolf Hennicker
      Pages 175-189
    3. Dana Fisman, Orna Kupferman, Yoad Lustig
      Pages 190-204
    4. Seth Fogarty, Moshe Y. Vardi
      Pages 205-220
  7. Liveness

    1. Byron Cook, Daniel Kroening, Philipp Rümmer, Christoph M. Wintersteiger
      Pages 236-250

About these proceedings


Java Mutation PHP Scratch Simulation algorithms computer-assisted surgery derivation design embedded systems finite automata optimization recursion structured analysis verification

Editors and affiliations

  • Javier Esparza
    • 1
  • Rupak Majumdar
    • 2
  1. 1.Institut für InformatikTechnische Universität MünchenGarchingGermany
  2. 2.Department of Computer ScienceUniversity of CaliforniaLos AngelesUSA

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 2010
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-642-12001-5
  • Online ISBN 978-3-642-12002-2
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site