Skip to main content
SpringerLink
Log in
Book cover
  • Conference proceedings
  • © 2003

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

Editors:

  1. Hubert Garavel

    1. INRIA Rhône-Alpes, Montbonnot Saint Martin, France

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. John Hatcliff

    1. Department of Computing and Information Sciences, Kansas State University, Manhattan, USA

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

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

Conference series link(s): TACAS: International Conference on Tools and Algorithms for the Construction and Analysis of Systems

Conference proceedings info: TACAS 2003.

Sections

Buy it now

eBook USD 84.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 109.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

This is a preview of subscription content, log in via an institution to check for access.

Table of contents (44 papers)

  1. Front Matter

    Pages I-XVI
    PDF

  3. Bounded Model Checking and SAT-Based Methods

    1. Automatic Abstraction without Counterexamples

      • Kenneth L. McMillan, Nina Amla
      Pages 2-17

    2. Bounded Model Checking for Past LTL

      • Marco Benedetti, Alessandro Cimatti
      Pages 18-33

    3. Experimental Analysis of Different Techniques for Bounded Model Checking

      • Nina Amla, Robert Kurshan, Kenneth L. McMillan, Ricardo Medel
      Pages 34-48

  4. Mu-Calculus and Temporal Logics

    1. On the Universal and Existential Fragments of the μ-Calculus

      • Thomas A. Henzinger, Orna Kupferman, Rupak Majumdar
      Pages 49-64

    2. Resets vs. Aborts in Linear Temporal Logic

      • Roy Armoni, Doron Bustan, Orna Kupferman, MosheY. Vardi
      Pages 65-80

  5. Verification of Parameterized Systems

    1. Decidability of Invariant Validation for Paramaterized Systems

      • Pascal Fontaine, E. Pascal Gribomont
      Pages 97-112

    2. Verification and Improvement of the Sliding Window Protocol

      • Dmitri Chkliaev, Jozef Hooman, Erik de Vink
      Pages 113-127

    3. Simple Representative Instantiations for Multicast Protocols

      • Javier Esparza, Monika Maidl
      Pages 128-143

    4. Rapid Parameterized Model Checking of Snoopy Cache Coherence Protocols

      • E. Allen Emerson, Vineet Kahlon
      Pages 144-159

  6. Abstractions and Counter-Examples

    1. Proof-Like Counter-Examples

      • Arie Gurfinkel, Marsha Chechik
      Pages 160-175

    2. Multiple-Counterexample Guided Iterative Abstraction Refinement: An Industrial Evaluation

      • Marcelo Glusman, Gila Kamhi, Sela Mador-Haim, Ranan Fraer, Moshe Y. Vardi
      Pages 176-191

    3. Verification of Hybrid Systems Based on Counterexample-Guided Abstraction Refinement

      • Edmund Clarke, Ansgar Fehnker, Zhi Han, Bruce Krogh, Olaf Stursberg, Michael Theobald
      Pages 192-207

    4. Counter-Example Guided Predicate Abstraction of Hybrid Systems

      • Rajeev Alur, Thao Dang, Franjo Ivančić1
      Pages 208-223

  7. Real-Time and Scheduling

    1. Schedulability Analysis Using Two Clocks

      • Elena Fersman, Leonid Mokrushin, Paul Pettersson, Wang Yi
      Pages 224-239

    2. On Optimal Scheduling under Uncertainty

      • Yasmina Abdeddaïm, Eugene Asarin, Oded Maler
      Pages 240-253

    3. Static Guard Analysis in Timed Automata Verification

      • Gerd Behrmann, Patricia Bouyer, Emmanuel Fleury, Kim G. Larsen
      Pages 254-270
Back to top

Other Volumes

  1. Tools and Algorithms for the Construction and Analysis of Systems

Back to top

Keywords

Back to top

Editors and Affiliations

  • INRIA Rhône-Alpes, Montbonnot Saint Martin, France

    Hubert Garavel

  • Department of Computing and Information Sciences, Kansas State University, Manhattan, USA

    John Hatcliff

Back to top

Bibliographic Information

Back to top

Publish with us

Policies and ethics

Back to top
Access via your institution

Buy it now

eBook USD 84.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 109.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Search

Navigation