Tools and Algorithms for the Construction and Analysis of Systems

13th International Conference, TACAS 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007 Braga, Portugal, March 24 - April 1, 2007. Proceedings

  • Editors
  • Orna Grumberg
  • Michael Huth
Conference proceedings TACAS 2007
Part of the Lecture Notes in Computer Science book series (LNCS, volume 4424)

Table of contents

  1. Front Matter
  2. Invited Contributions

  3. Software Verification

    1. R. Manevich, J. Berdine, B. Cook, G. Ramalingam, M. Sagiv
      Pages 3-18
    2. Shaunak Chatterjee, Shuvendu K. Lahiri, Shaz Qadeer, Zvonimir Rakamarić
      Pages 19-33
    3. Muhammad Zubair Malik, Aman Pervaiz, Sarfraz Khurshid
      Pages 34-49
  4. Probabilistic Model Checking and Markov Chains

    1. K. Etessami, M. Kwiatkowska, M. Y. Vardi, M. Yannakakis
      Pages 50-65
    2. Dominik Wojtczak, Kousha Etessami
      Pages 66-71
    3. Tingting Han, Joost-Pieter Katoen
      Pages 72-86
    4. Joost-Pieter Katoen, Tim Kemna, Ivan Zapreev, David N. Jansen
      Pages 87-101
  5. Static Analysis

    1. Azadeh Farzan, P. Madhusudan
      Pages 102-116
    2. Saswat Anand, Alessandro Orso, Mary Jean Harrold
      Pages 117-133
    3. Saswat Anand, Corina S. Păsăreanu, Willem Visser
      Pages 134-138
  6. Markov Chains and Real-Time Systems

    1. Lijun Zhang, Holger Hermanns, Friedrich Eisenbrand, David N. Jansen
      Pages 155-169
    2. Marcin Jurdziński, François Laroussinie, Jeremy Sproston
      Pages 170-184
    3. Massimo Tivoli, Pascal Fradet, Alain Girault, Gregor Goessler
      Pages 185-200
  7. Timed Automata and Duration Calculus

    1. Martin Fränzle, Michael R. Hansen
      Pages 201-215
    2. Davide D’Aprile, Susanna Donatelli, Arnaud Sangnier, Jeremy Sproston
      Pages 216-230
    3. Jacob I. Rasmussen, Gerd Behrmann, Kim G. Larsen
      Pages 231-245

About these proceedings

Keywords

Algorithms Automat algorithm automata model checking real-time verification

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-540-71209-1
  • Copyright Information Springer-Verlag Berlin Heidelberg 2007
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-540-71208-4
  • Online ISBN 978-3-540-71209-1
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book