Automated technology for verification and analysis [electronic resource] : second international conference, AT
User Rating: Be the first one!
Author: International Symposium on Automated Technology for Verification and Analysis (2nd : 2004 : Taipei, Taiwan), SpringerLink (Online service), Wang, Farn
Added by: sketch
Added Date: 2015-12-29
Language: eng
Subjects: Automatic theorem proving
Publishers: Berlin : Springer-Verlag
Collections: folkscanomy miscellaneous, folkscanomy, additional collections
ISBN Number: 3540236104
Pages Count: 300
PPI Count: 300
PDF Count: 1
Total Size: 265.66 MB
PDF Size: 5.27 MB
Extensions: djvu, gif, pdf, gz, zip, torrent, log, mrc
Downloads: 596
Views: 646
Total Files: 18
Media Type: texts
Total Files: 5
TORRENT
springer 10 1007 b102065 archive torrent
Last Modified: 2022-03-09 09:50:25
Download
Size: 14.36 KB
Description
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:
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
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
You May Also Like
We will be happy to hear your thoughts