Tools and Algorithms for the Construction and Analysis of Systems

9th International Conference, TACAS 2003 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003 Warsaw, Poland, April 7–11, 2003 Proceedings

  • Hubert Garavel
  • John Hatcliff

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

Table of contents

  1. Front Matter
    Pages I-XVI
  2. Invited Contributions

  3. Bounded Model Checking and SAT-Based Methods

    1. Kenneth L. McMillan, Nina Amla
      Pages 2-17
    2. Marco Benedetti, Alessandro Cimatti
      Pages 18-33
    3. Nina Amla, Robert Kurshan, Kenneth L. McMillan, Ricardo Medel
      Pages 34-48
  4. Mu-Calculus and Temporal Logics

    1. Thomas A. Henzinger, Orna Kupferman, Rupak Majumdar
      Pages 49-64
    2. Roy Armoni, Doron Bustan, Orna Kupferman, MosheY. Vardi
      Pages 65-80
  5. Verification of Parameterized Systems

    1. Pascal Fontaine, E. Pascal Gribomont
      Pages 97-112
    2. Dmitri Chkliaev, Jozef Hooman, Erik de Vink
      Pages 113-127
    3. Javier Esparza, Monika Maidl
      Pages 128-143
    4. E. Allen Emerson, Vineet Kahlon
      Pages 144-159
  6. Abstractions and Counter-Examples

    1. Arie Gurfinkel, Marsha Chechik
      Pages 160-175
    2. Marcelo Glusman, Gila Kamhi, Sela Mador-Haim, Ranan Fraer, Moshe Y. Vardi
      Pages 176-191
    3. Edmund Clarke, Ansgar Fehnker, Zhi Han, Bruce Krogh, Olaf Stursberg, Michael Theobald
      Pages 192-207
    4. Rajeev Alur, Thao Dang, Franjo Ivančić1
      Pages 208-223
  7. Real-Time and Scheduling

    1. Elena Fersman, Leonid Mokrushin, Paul Pettersson, Wang Yi
      Pages 224-239
    2. Yasmina Abdeddaïm, Eugene Asarin, Oded Maler
      Pages 240-253
    3. Gerd Behrmann, Patricia Bouyer, Emmanuel Fleury, Kim G. Larsen
      Pages 254-270

About these proceedings


development tools formal methods formal specification model checking program semantics programming theory software testing structured analysis systems analysis systems design systems development systems verification testing verification verification tools

Editors and affiliations

  • Hubert Garavel
    • 1
  • John Hatcliff
    • 2
  1. 1.INRIA Rhône-AlpesMontbonnot Saint MartinFrance
  2. 2.Department of Computing and Information SciencesKansas State UniversityManhattanUSA

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 2003
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-00898-9
  • Online ISBN 978-3-540-36577-8
  • Series Print ISSN 0302-9743
  • About this book