04495nam 2200625Ia 450 991048472520332120200520144314.01-280-38585-597866135637743-642-12002-410.1007/978-3-642-12002-2(CKB)2670000000010134(SSID)ssj0000399496(PQKBManifestationID)11311978(PQKBTitleCode)TC0000399496(PQKBWorkID)10376312(PQKB)11656053(DE-He213)978-3-642-12002-2(MiAaPQ)EBC3065117(PPN)149059787(EXLCZ)99267000000001013420090622d2010 uy 0engurnn|008mamaatxtccrTools and algorithms for the construction and analysis of systems 16th 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 /Javier Esparza, Rupak Majumdar (eds.)1st ed. 2010.Berlin ;Heidelberg Springer-Verlag20101 online resource (XVI, 468 p. 102 illus.) Lecture notes in computer science ;6015Bibliographic Level Mode of Issuance: Monograph3-642-12001-6 Includes bibliographical references and index.Invited 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.Lecture notes in computer science ;6015.System designCongressesSystem analysisCongressesSystem designSystem analysis005.12DAT 310fstubDAT 500fstubSS 4800rvkEsparza Javier1717655Majumdar Rupak1754415TACAS 2010MiAaPQMiAaPQMiAaPQBOOK9910484725203321Tools and algorithms for the construction and analysis of systems4204152UNINA