Skip to main content
SpringerLink
Log in

Automated Technology for Verification and Analysis

Second International Conference, ATVA 2004, Taipei, Taiwan, ROC, October 31 - November 3, 2004. Proceedings

  • Conference proceedings
  • © 2004

Overview

Editors:
  1. Farn Wang

    1. Grad. Inst. of Electronic Engineering, National Taiwan University, Taiwan, ROC

    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 3299)

Included in the following conference series:

Conference proceedings info: ATVA 2004.

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

Access this book

Log in via an institution
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

Licence this eBook for your library

Institutional subscriptions

Table of contents (45 papers)

  1. Front Matter

    Download chapter PDF

  2. Keynote Speech

    1. Games for Formal Design and Verification of Reactive Systems

      • Rajeev Alur
      Pages 1-1

    2. Evolution of Model Checking into the EDA Industry

      • Robert P. Kurshan
      Pages 2-6

    3. Abstraction Refinement

      • Pei-Hsin Ho
      Pages 7-7

  3. Invited Speech

    1. Tools for Automated Verification of Web Services

      • Tevfik Bultan, Xiang Fu, Jianwen Su
      Pages 8-10

    2. Theorem Proving Languages for Verification

      • Jean-Pierre Jouannaud
      Pages 11-14

    3. An Automated Rigorous Review Method for Verifying and Validating Formal Specifications

      • Shaoying Liu
      Pages 15-19

  4. Papers

    1. Toward Unbounded Model Checking for Region Automata

      • Fang Yu, Bow-Yaw Wang
      Pages 20-33

    2. Search Space Partition and Case Basis Exploration for Reducing Model Checking Complexity

      • Bai Su, Wenhui Zhang
      Pages 34-48

    3. Synthesising Attacks on Cryptographic Protocols

      • David Sinclair, David Gray, Geoff Hamilton
      Pages 49-63

    4. Büchi Complementation Made Tighter

      • Ehud Friedgut, Orna Kupferman, Moshe Y. Vardi
      Pages 64-78

    5. SAT-Based Verification of Safe Petri Nets

      • Shougo Ogata, Tatsuhiro Tsuchiya, Tohru Kikuno
      Pages 79-92

    6. Disjunctive Invariants for Numerical Systems

      • Jérôme Leroux
      Pages 93-107

    7. Validity Checking for Quantifier-Free First-Order Logic with Equality Using Substitution of Boolean Formulas

      • Atsushi Moritomo, Kiyoharu Hamaguchi, Toshinobu Kashiwabara
      Pages 108-119

    8. Fair Testing Revisited: A Process-Algebraic Characterisation of Conflicts

      • Robi Malik, David Streader, Steve Reeves
      Pages 120-134

    9. Exploiting Symmetries for Testing Equivalence in the Spi Calculus

      • Ivan Cibrario B., Luca Durante, Riccardo Sisto, Adriano Valenzano
      Pages 135-149

    10. Using Block-Local Atomicity to Detect Stale-Value Concurrency Errors

      • Cyrille Artho, Klaus Havelund, Armin Biere
      Pages 150-164

    11. Abstraction-Based Model Checking Using Heuristical Refinement

      • Kairong Qian, Albert Nymeyer
      Pages 165-178

    12. A Global Timed Bisimulation Preserving Abstraction for Parametric Time-Interval Automata

      • Tadaaki Tanimoto, Suguru Sasaki, Akio Nakata, Teruo Higashino
      Pages 179-195

    13. Design and Evaluation of a Symbolic and Abstraction-Based Model Checker

      • Serge Haddad, Jean-Michel Ilié, Kais Klai
      Pages 196-210
Back to top

Other volumes

  1. Automated Technology for Verification and Analysis

Keywords

Editors and Affiliations

  • Grad. Inst. of Electronic Engineering, National Taiwan University, Taiwan, ROC

    Farn Wang

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation