Overview

This book constitutes the refereed proceedings of the 6th International Symposium on Automated Technology for Verification and Analysis, ATVA 2008, held in Seoul, Korea, in October 2008. The 21 revised full papers 5 short papers and 7 tool papers presented together with 3 invited talks were carefully reviewed and selected from 82 submissions. The focos lies on theoretical methods to achieve correct software or hardware systems, including both functional and non functional aspects; as well as on applications of theory in engineering methods and particular domains and handling of practical problems occurring in tools. The papers are organized in topical sections on model checking, software verification, decision procedures, linear-time analysis, tool demonstration papers, timed and stochastic systems, theory, and short papers.

Full Product Details

Author:   Sungdeok Cha ,  Jin-Young Choi ,  Moonzoo Kim ,  Mahesh Viswanathan
Publisher:   Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Imprint:   Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Edition:   2008 ed.
Volume:   5311
Dimensions:   Width: 15.50cm , Height: 2.30cm , Length: 23.50cm
Weight:   0.682kg
ISBN:  

9783540883869

ISBN 10:   354088386
Pages:   430
Publication Date:   06 October 2008
Audience:   Professional and scholarly ,  Professional & Vocational
Format:   Paperback
Publisher's Status:   Active
Availability:   In Print  
This item will be ordered in for you from one of our suppliers. Upon receipt, we will promptly dispatch it out to you. For in store availability, please contact us.

Table of Contents

Invited Talks.- Tests, Proofs and Refinements.- Formal Verification and Biology.- Trust and Automation in Verification Tools.- Model Checking.- CTL Model-Checking with Graded Quantifiers.- Genetic Programming and Model Checking: Synthesizing New Mutual Exclusion Algorithms.- Computation Tree Regular Logic for Genetic Regulatory Networks.- Compositional Verification for Component-Based Systems and Application.- A Direct Algorithm for Multi-valued Bounded Model Checking.- Software Verification.- Model Checking Recursive Programs with Exact Predicate Abstraction.- Loop Summarization Using Abstract Transformers.- Dynamic Model Checking with Property Driven Pruning to Detect Race Conditions.- Decision Procedures.- Automating Algebraic Specifications of Non-freely Generated Data Types.- Interpolants for Linear Arithmetic in SMT.- SAT Modulo ODE: A Direct SAT Approach to Hybrid Systems.- SMELS: Satisfiability Modulo Equality with Lazy Superposition.- Linear-Time Analysis.- Controllable Test Cases for the Distributed Test Architecture.- Tool Demonstration Papers.- Goanna: Syntactic Software Model Checking.- A Dynamic Assertion-Based Verification Platform for Validation of UML Designs.- CheckSpec: A Tool for Consistency and Coverage Analysis of Assertion Specifications.- DiVinE Multi-Core – A Parallel LTL Model-Checker.- Alaska.- NetQi: A Model Checker for Anticipation Game.- Component-Based Design and Analysis of Embedded Systems with UPPAAL PORT.- Timed and Stochastic Systems.- Time-Progress Evaluation for Dense-Time Automata with Concave Path Conditions.- Decidable Compositions of O-Minimal Automata.- On the Applicability of Stochastic Petri Nets for Analysis of Multiserver Retrial Systems with Different Vacation Policies.- Model Based Importance Analysis for Minimal CutSets.- Theory.- Approximate Invariant Property Checking Using Term-Height Reduction for a Subset of First-Order Logic.- Tree Pattern Rewriting Systems.- Deciding Bisimilarity of Full BPA Processes Locally.- Optimal Strategy Synthesis in Request-Response Games.- Short Papers.- Authentication Revisited: Flaw or Not, the Recursive Authentication Protocol.- Impartial Anticipation in Runtime-Verification.- Run-Time Monitoring of Electronic Contracts.- Practical Efficient Modular Linear-Time Model-Checking.- Passive Testing of Timed Systems.

Reviews

Author Information

Tab Content 6

Author Website:  

Customer Reviews

Recent Reviews

No review item found!

Add your own review!

Countries Available

All regions