Advertisement

Automated Technology for Verification and Analysis

5th International Symposium, ATVA 2007 Tokyo, Japan, October 22–25, 2007 Proceedings

  • Editors
  • Kedar S. Namjoshi
  • Tomohiro Yoneda
  • Teruo Higashino
  • Yoshio Okamura
Conference proceedings ATVA 2007

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

Table of contents

  1. Front Matter
  2. Invited Talks

    1. Nathan Whitehead, Jordan Johnson, Martín Abadi
      Pages 1-14
    2. Sumit Nain, Moshe Y. Vardi
      Pages 19-34
  3. Regular Papers

    1. Jörg Bauer, Tobe Toben, Bernd Westphal
      Pages 35-50
    2. Geng-Dian Huang, Bow-Yaw Wang
      Pages 51-65
    3. David Walter, Scott Little, Chris Myers
      Pages 66-81
    4. Gordon Pace, Cristian Prisacariu, Gerardo Schneider
      Pages 82-97
    5. Gilles Geeraerts, Jean-François Raskin, Laurent Van Begin
      Pages 98-113
    6. Scott Little, David Walter, Kevin Jones, Chris Myers
      Pages 114-128
    7. Peter Habermehl, Radu Iosif, Adam Rogalewicz, Tomáš Vojnar
      Pages 145-161
    8. Marco Bozzano, Alessandro Cimatti, Francesco Tapparo
      Pages 162-176
    9. Thomas Gawlitza, Helmut Seidl
      Pages 177-191
    10. Franck Cassez, Alexandre David, Kim G. Larsen, Didier Lime, Jean-François Raskin
      Pages 192-206
    11. Lijun Zhang, Holger Hermanns
      Pages 207-222
    12. Christian Dax, Jochen Eisinger, Felix Klaedtke
      Pages 223-236
    13. Zvonimir Rakamarić, Roberto Bruttomesso, Alan J. Hu, Alessandro Cimatti
      Pages 237-252

About these proceedings

Keywords

Simulation automata construction embedded systems formal method formal methods formal performance analysis hardware verification hybrid systems model checking modeling petri net probabilistic models real-time verification

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-540-75596-8
  • Copyright Information Springer-Verlag Berlin Heidelberg 2007
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-540-75595-1
  • Online ISBN 978-3-540-75596-8
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site