LEADER 05332nam 22007815 450 001 996465306003316 005 20230220141639.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(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$b[electronic resource] $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 $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 Infinite Probabilistic 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. 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 702 $aEsparza$b Javier$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aMajumdar$b Rupak$4edt$4http://id.loc.gov/vocabulary/relators/edt 712 12$aTACAS 2010 906 $aBOOK 912 $a996465306003316 996 $aTools and Algorithms for the Construction and Analysis of Systems$9772021 997 $aUNISA