LEADER 07207nam 22008415 450 001 9910484725203321 005 20251113195627.0 010 $a1-280-38585-5 010 $a9786613563774 010 $a3-642-12002-4 024 7 $a10.1007/978-3-642-12002-2 035 $a(CKB)2670000000010134 035 $a(SSID)ssj0000399496 035 $a(PQKBManifestationID)11311978 035 $a(PQKBTitleCode)TC0000399496 035 $a(PQKBWorkID)10376312 035 $a(PQKB)11656053 035 $a(DE-He213)978-3-642-12002-2 035 $a(MiAaPQ)EBC3065117 035 $a(PPN)149059787 035 $a(BIP)29190155 035 $a(EXLCZ)992670000000010134 100 $a20100308d2010 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aTools and Algorithms for the Construction and Analysis of Systems $e16th International Conference, TACAS 2010, Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-29, 2010, Proceedings /$fedited by Javier Esparza, Rupak Majumdar 205 $a1st ed. 2010. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2010. 215 $a1 online resource (XVI, 468 p. 102 illus.) 225 1 $aTheoretical Computer Science and General Issues,$x2512-2029 ;$v6015 300 $aBibliographic Level Mode of Issuance: Monograph 311 08$a3-642-12001-6 320 $aIncludes bibliographical references and index. 327 $aInvited Talks -- Embedded Systems Design ? Scientific Challenges and Work Directions -- Antichain Algorithms for Finite Automata -- Probabilistic Systems and Optimization -- Assume-Guarantee Verification for Probabilistic Systems -- Simple O(m logn) Time Markov Chain Lumping -- Model Checking Interactive Markov Chains -- Approximating the Pareto Front of Multi-criteria Optimization Problems -- Decision Procedures -- An Alternative to SAT-Based Approaches for Bit-Vectors -- Satisfiability Modulo the Theory of Costs: Foundations and Applications -- Optimal Tableau Algorithms for Coalgebraic Logics -- Blocked Clause Elimination -- Tools I -- Boom: Taking Boolean Program Model Checking One Step Further -- The OpenSMT Solver -- Stranger: An Automata-Based String Analysis Tool for PHP -- Automata Theory -- When Simulation Meets Antichains -- On Weak Modal Compatibility, Refinement, and the MIO Workbench -- Rational Synthesis -- Efficient Büchi Universality Checking -- Liveness -- Automated Termination Analysis for Programs with Second-Order Recursion -- Ranking Function Synthesis for Bit-Vector Relations -- Fairness for Dynamic Control -- Tools II -- JTorX: A Tool for On-Line Model-Driven Test Derivation and Execution -- SLAB: A Certifying Model Checker for Infinite-State Concurrent Systems -- Tracking Heaps That Hop with Heap-Hop -- Software Verification -- Automatic Analysis of Scratch-Pad Memory Code for Heterogeneous Multicore Processors -- Simplifying Linearizability Proofs with Reduction and Abstraction -- A Polymorphic Intermediate Verification Language: Design and Logical Encoding -- Trace-Based Symbolic Analysis for Atomicity Violations -- Tools III -- ACS: Automatic Converter Synthesis for SoC Bus Protocols -- AlPiNA: An Algebraic Petri Net Analyzer -- PASS: Abstraction Refinement for InfiniteProbabilistic Models -- Real Time and Information Flow -- Arrival Curves for Real-Time Calculus: The Causality Problem and Its Solutions -- Computing the Leakage of Information-Hiding Systems -- Statistical Measurement of Information Leakage -- SAT Based Bounded Model Checking with Partial Order Semantics for Timed Automata -- Testing -- Preemption Sealing for Efficient Concurrency Testing -- Code Mutation in Verification and Automatic Code Correction -- Efficient Detection of Errors in Java Components Using Random Environment and Restarts. 330 $aETAPS 2010 was the 13th instance of the European Joint Conferences on T- oryandPracticeofSoftware. ETAPSisanannualfederatedconferencethatwas establishedin1998bycombininganumberofexistingandnewconferences. This yearitcomprisedtheusual'vesisterconferences(CC,ESOP,FASE,FOSSACS, TACAS), 19 satellite workshops (ACCAT, ARSPA-WITS, Bytecode, CMCS, COCV, DCC, DICE, FBTC, FESCA, FOSS-AMA, GaLoP, GT-VMT, LDTA, MBT, PLACES, QAPL, SafeCert, WGT, and WRLA) and seven invited l- tures (excluding those that were speci'c to the satellite events). The ?ve main conferences this year received 497 submissions (including 31 tool demonstration papers), 130 of which were accepted (10 tool demos), giving an overall acc- tance rateof 26%, with most of the conferencesat around24%. Congratulations thereforetoalltheauthorswhomadeittothe'nalprogramme!Ihopethatmost of the other authors will still have found a way of participating in this exciting event, and that you will all continue submitting to ETAPS and contributing to make of it the best conference on software science and engineering. The events that comprise ETAPS address various aspects of the system - velopmentprocess,including speci'cation,design, implementation, analysisand improvement. The languages, methodologies and tools which support these - tivities are all well within its scope. Di'erent blends of theory and practice are represented,withaninclinationtowardtheorywithapracticalmotivationonthe one hand and soundly based practice on the other. Many of the issues involved in software design apply to systems in general, including hardwaresystems, and the emphasis on software is not intended to be exclusive. ETAPS is a confederation in which each event retains its own identity, with a separate Programme Committee and proceedings. Its format is open-ended, allowing it to grow and evolve as time goes by. 410 0$aTheoretical Computer Science and General Issues,$x2512-2029 ;$v6015 606 $aSoftware engineering 606 $aComputer science 606 $aComputer networks 606 $aCompilers (Computer programs) 606 $aArtificial intelligence 606 $aSoftware Engineering 606 $aComputer Science Logic and Foundations of Programming 606 $aComputer Communication Networks 606 $aCompilers and Interpreters 606 $aArtificial Intelligence 615 0$aSoftware engineering. 615 0$aComputer science. 615 0$aComputer networks. 615 0$aCompilers (Computer programs) 615 0$aArtificial intelligence. 615 14$aSoftware Engineering. 615 24$aComputer Science Logic and Foundations of Programming. 615 24$aComputer Communication Networks. 615 24$aCompilers and Interpreters. 615 24$aArtificial Intelligence. 676 $a005.12 686 $aDAT 310f$2stub 686 $aDAT 500f$2stub 686 $aSS 4800$2rvk 701 $aEsparza$b Javier$01717655 701 $aMajumdar$b Rupak$01754415 712 12$aTACAS 2010 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910484725203321 996 $aTools and algorithms for the construction and analysis of systems$94204152 997 $aUNINA