Automated Technology for Verification and Analysis: Second International Conference, ATVA 2004, Taipei, Taiwan, ROC, October 31-November 3, 2004. ProceedingsAuthor: Farn Wang Published by Springer Berlin Heidelberg ISBN: 978-3-540-23610-8 DOI: 10.1007/b102065Table of Contents:Games for Formal Design and Verification of Reactive Systems Evolution of Model Checking into the EDA Industry Abstraction Refinement Tools for Automated Verification of Web Services Theorem Proving Languages for Verification An Automated Rigorous Review Method for Verifying and Validating Formal Specifications Toward Unbounded Model Checking for Region Automata Search Space Partition and Case Basis Exploration for Reducing Model Checking Complexity Synthesising Attacks on Cryptographic Protocols Büchi Complementation Made Tighter SAT-Based Verification of Safe Petri Nets Disjunctive Invariants for Numerical Systems Validity Checking for Quantifier-Free First-Order Logic with Equality Using Substitution of Boolean Formulas Fair Testing Revisited: A Process-Algebraic Characterisation of Conflicts Exploiting Symmetries for Testing Equivalence in the Spi Calculus Using Block-Local Atomicity to Detect Stale-Value Concurrency Errors Abstraction-Based Model Checking Using Heuristical Refinement A Global Timed Bisimulation Preserving Abstraction for Parametric Time-Interval Automata Design and Evaluation of a Symbolic and Abstraction-Based Model Checker Component-Wise Instruction-Cache Behavior Prediction, Text (HTML/PDF), search engine, Mode of access: Intranet, "2nd International Symposium on Automated Technology on Verification and Analysis (ATVA)"--Pref, Includes bibliographical references and index