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
    2. Jochen Hoenicke, Ernst-Rüdiger Olderog, Andreas Podelski
      Pages 251-265
  8. Tools II

    1. Klaus Dräger, Andrey Kupriyanov, Bernd Finkbeiner, Heike Wehrheim
      Pages 271-274
    2. Jules Villard, Étienne Lozes, Cristiano Calcagno
      Pages 275-279
  9. Software Verification

    1. Alastair F. Donaldson, Daniel Kroening, Philipp Rümmer
      Pages 280-295
    2. Tayfun Elmas, Shaz Qadeer, Ali Sezgin, Omer Subasi, Serdar Tasiran
      Pages 296-311
    3. K. Rustan M. Leino, Philipp Rümmer
      Pages 312-327
    4. Chao Wang, Rhishikesh Limaye, Malay Ganai, Aarti Gupta
      Pages 328-342
  10. Tools III

    1. Karin Avnit, Arcot Sowmya, Jorgen Peddersen
      Pages 343-348
    2. Didier Buchs, Steve Hostettler, Alexis Marechal, Matteo Risoldi
      Pages 349-352
    3. Ernst Moritz Hahn, Holger Hermanns, Björn Wachter, Lijun Zhang
      Pages 353-357
  11. Real Time and Information Flow

    1. Miguel E. Andrés, Catuscia Palamidessi, Peter van Rossum, Geoffrey Smith
      Pages 373-389
    2. Konstantinos Chatzikokolakis, Tom Chothia, Apratim Guha
      Pages 390-404
  12. Testing

    1. Thomas Ball, Sebastian Burckhardt, Katherine E. Coons, Madanlal Musuvathi, Shaz Qadeer
      Pages 420-434
  13. Back Matter

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 Computer Science (R0)
  • 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