Automated technology for verification and analysis [electronic resource] : second international conference, ATVA 2004, Taipei, Taiwan, ROC, October 31-November 3, 2004 : proceedings

Automated Technology for Verification and Analysis: Second International Conference, ATVA 2004, Taipei, Taiwan, ROC, October 31-November 3, 2004. Proceedings
Author: Farn Wang
Published by Springer Berlin Heidelberg
ISBN: 978-3-540-23610-8
DOI: 10.1007/b102065

Table 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