Advertisement

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
    4. Paritosh K. Pandya, Shankara Narayanan Krishna, Kuntal Loya
      Pages 246-260
  8. Assume-Guarantee Reasoning

    1. Krishnendu Chatterjee, Thomas A. Henzinger
      Pages 261-275
    2. Sagar Chaki, Ofer Strichman
      Pages 276-291
    3. Mihaela Gheorghiu, Dimitra Giannakopoulou, Corina S. Păsăreanu
      Pages 292-307
    4. Max Goldman, Shmuel Katz
      Pages 308-322
  9. Biological Systems

    1. Grégory Batt, Calin Belta, Ron Weiss
      Pages 323-338
    2. Panagiotis Manolios, Marc Galceran Oms, Sergi Oliva Valls
      Pages 339-342
    3. Hillel Kugler, Amir Pnueli, Michael J. Stern, E. Jane Albert Hubbard
      Pages 343-357
  10. Abstraction Refinement

    1. Randal E. Bryant, Daniel Kroening, Joël Ouaknine, Sanjit A. Seshia, Ofer Strichman, Bryan Brady
      Pages 358-372
    2. Alessandro Armando, Massimo Benerecetti, Jacopo Mantovani
      Pages 373-388
    3. Roberto Sebastiani, Stefano Tonetta, Moshe Y. Vardi
      Pages 389-404
    4. Nina Amla, Kenneth L. McMillan
      Pages 405-419
  11. Message Sequence Charts

    1. Edith Elkind, Blaise Genest, Doron Peled
      Pages 420-434
    2. Benedikt Bollig, Joost-Pieter Katoen, Carsten Kern, Martin Leucker
      Pages 435-450
  12. Automata-Based Model Checking

    1. Laurent Doyen, Jean-François Raskin
      Pages 451-465
    2. Yih-Kuen Tsay, Yu-Fang Chen, Ming-Hsien Tsai, Kang-Nien Wu, Wen-Chin Chan
      Pages 466-471
    3. Florian Horn
      Pages 472-484
  13. Specification Languages

    1. Henrik Bohnenkamp, Holger Hermanns, Joost-Pieter Katoen
      Pages 500-504
    2. Alessandro Cimatti, Marco Roveri, Stefano Tonetta
      Pages 505-518
    3. Till Mossakowski, Christian Maeder, Klaus Lüttich
      Pages 519-522
  14. Security

    1. Shaddin F. Doghmi, Joshua D. Guttman, F. Javier Thayer
      Pages 523-537
    2. Véronique Cortier, Gavin Keighren, Graham Steel
      Pages 538-552
  15. Software and Hardware Verification

    1. Ranjit Jhala, Rupak Majumdar, Ru-Gang Xu
      Pages 553-567
    2. Magnus O. Myreen, Michael J. C. Gordon
      Pages 568-582
    3. Himanshu Jain, Daniel Kroening, Natasha Sharygina, Edmund Clarke
      Pages 583-586
  16. Decision Procedures and Theorem Provers

    1. Marcelo F. Frias., Carlos G. Lopez Pombo, Mariano M. Moscato
      Pages 587-601
    2. Sava Krstić, Amit Goel, Jim Grundy, Cesare Tinelli
      Pages 602-617
    3. Christopher Condrat, Priyank Kalla
      Pages 618-631
    4. Emina Torlak, Daniel Jackson
      Pages 632-647

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
  • Buy this book on publisher's site