000 05834nam a22006255i 4500
001 978-3-540-88387-6
003 DE-He213
005 20240730195630.0
007 cr nn 008mamaa
008 100301s2008 gw | s |||| 0|eng d
020 _a9783540883876
_9978-3-540-88387-6
024 7 _a10.1007/978-3-540-88387-6
_2doi
050 4 _aTK5105.5-5105.9
072 7 _aUKN
_2bicssc
072 7 _aCOM043000
_2bisacsh
072 7 _aUKN
_2thema
082 0 4 _a004.6
_223
245 1 0 _aAutomated Technology for Verification and Analysis
_h[electronic resource] :
_b6th International Symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008, Proceedings /
_cedited by Sungdeok Cha, Jin-Young Choi, Moonzoo Kim, Mahesh Viswanathan.
250 _a1st ed. 2008.
264 1 _aBerlin, Heidelberg :
_bSpringer Berlin Heidelberg :
_bImprint: Springer,
_c2008.
300 _aXIV, 430 p.
_bonline resource.
336 _atext
_btxt
_2rdacontent
337 _acomputer
_bc
_2rdamedia
338 _aonline resource
_bcr
_2rdacarrier
347 _atext file
_bPDF
_2rda
490 1 _aProgramming and Software Engineering,
_x2945-9168 ;
_v5311
505 0 _aInvited 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.
520 _aThis 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.
650 0 _aComputer networks .
_931572
650 0 _aComputer science.
_99832
650 0 _aComputers, Special purpose.
_946653
650 0 _aSoftware engineering.
_94138
650 0 _aCompilers (Computer programs).
_93350
650 1 4 _aComputer Communication Networks.
_9160901
650 2 4 _aComputer Science Logic and Foundations of Programming.
_942203
650 2 4 _aSpecial Purpose and Application-Based Systems.
_946654
650 2 4 _aSoftware Engineering.
_94138
650 2 4 _aCompilers and Interpreters.
_931853
700 1 _aCha, Sungdeok.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
_9160902
700 1 _aChoi, Jin-Young.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
_9160903
700 1 _aKim, Moonzoo.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
_9160904
700 1 _aViswanathan, Mahesh.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
_9160905
710 2 _aSpringerLink (Online service)
_9160906
773 0 _tSpringer Nature eBook
776 0 8 _iPrinted edition:
_z9783540883869
776 0 8 _iPrinted edition:
_z9783540884224
830 0 _aProgramming and Software Engineering,
_x2945-9168 ;
_v5311
_9160907
856 4 0 _uhttps://doi.org/10.1007/978-3-540-88387-6
912 _aZDB-2-SCS
912 _aZDB-2-SXCS
912 _aZDB-2-LNC
942 _cELN
999 _c95718
_d95718