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
Conference proceedings TACAS 2003

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
    4. Piotr Dembiński, Agata Janowska, Paweł Janowski, Wojciech Penczek, Agata Półrola, Maciej Szreter et al.
      Pages 278-283
  8. Security and Cryptography

    1. Ivan Cibrario B., Luca Durante, Riccardo Sisto, Adriano Valenzano
      Pages 284-298
    2. Liana Bozga, Yassine Lakhnech, Michael Périn
      Pages 299-314
  9. Modules and Compositional Verification

    1. Samik Basu, C. R. Ramakrishnan
      Pages 315-330
    2. Jamieson M. Cobleigh, Dimitra Giannakopoulou, Corina S. PĂsĂreanu
      Pages 331-346
    3. Stavros Tripakis
      Pages 347-362
    4. Rajeev Alur, Salvatore La Torre, Parthasarathy Madhusudan
      Pages 363-378
  10. Symbolic State Spaces and Decision Diagrams

    1. Gianfranco Ciardo, Robert Marmorstein, Radu Siminiceanu
      Pages 379-393
    2. Constantinos Bartzis, Tevfik Bultan
      Pages 394-408
  11. Performance and Mobility

    1. Oleg Sokolsky, Anna Philippou, Insup Lee, Kyriakos Christou
      Pages 409-424
    2. Holger Hermanns, Christophe Joubert
      Pages 425-430
    3. Chiara Braghin, Agostino Cortesi, Stefano Filippone, Riccardo Focardi, Flaminia L. Luccio, Carla Piazza
      Pages 437-441
  12. State Space Reductions

    1. Bernard Berthomieu, François Vernadat
      Pages 442-457
    2. Victor Khomenko, Maciej Koutny
      Pages 458-472
    3. Scott D. Stoller, Ernie Cohen
      Pages 489-504
  13. Constraint-Solving and Decision Procedures

    1. Sergey Berezin, Vijay Ganesh, David L. Dill
      Pages 521-536
    2. Sylvain Conchon, Sava Krstić
      Pages 537-552
  14. Testing and Verification

    1. Sarfraz Khurshid, Corina S. PĂsĂreanu, Willem Visser
      Pages 553-568
    2. Fabrice Baray, Philippe Codognet, Daniel Diaz, Henri Michel
      Pages 569-584
    3. Jan Friso Groote, Frank van Ham
      Pages 585-590
    4. Céline Bigot, Alain Faivre, Jean-Pierre Gallois, Arnault Lapitre, David Lugato, Jean-Yves Pierron et al.
      Pages 591-596
    5. Sebastian Uchitel, Robert Chatley, Jeff Kramer, Jeff Magee
      Pages 597-601
  15. Back Matter
    Pages 603-604

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