New Added

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

Like Score+493

Automated technology for verification and analysis [electronic resource] : second international conference, ATVA 2004, Taipei, Taiwan, ROC, October 31-November 3, 2004 : proceedings
Original Title Automated technology for verification and analysis [electronic resource] : second international conference, ATVA 2004, Taipei, Taiwan, ROC, October 31-November 3, 2004 : proceedings
Author International Symposium on Automated Technology for Verification and Analysis (2nd : 2004 : Taipei, Taiwan), SpringerLink (Online service), Wang, Farn
Publication date

Topics Automatic theorem proving
Publisher Berlin : Springer-Verlag
Collection folkscanomy_miscellaneous, folkscanomy, additional_collections
Language English
Book Type EBook
Material Type Book
File Type PDF
Downloadable Yes
Support Mobile, Desktop, Tablet
Scan Quality: Best No watermark
PDF Quality: Good
Availability Yes
Price 0.00
Submitted By
Sketch the Cow
Submit Date
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 PredictionText (HTML/PDF), search engineMode of access: Intranet”2nd International Symposium on Automated Technology on Verification and Analysis (ATVA)”–PrefIncludes bibliographical references and index
We will be happy to hear your thoughts

Leave a reply

eBookmela
Logo
Register New Account
Reset Password
Compare items
  • Total (0)
Compare
0