05253nam 22006735 450 99646547760331620230406032413.03-540-78800-X10.1007/978-3-540-78800-3(CKB)1000000000491038(SSID)ssj0000320413(PQKBManifestationID)11263733(PQKBTitleCode)TC0000320413(PQKBWorkID)10249393(PQKB)11308605(DE-He213)978-3-540-78800-3(MiAaPQ)EBC3068717(PPN)125218648(EXLCZ)99100000000049103820100301d2008 u| 0engurnn|008mamaatxtccrTools and Algorithms for the Construction and Analysis of Systems[electronic resource] 14th International Conference, TACAS 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008, Proceedings /edited by C.R. Ramakrishnan, Jakob Rehof1st ed. 2008.Berlin, Heidelberg :Springer Berlin Heidelberg :Imprint: Springer,2008.1 online resource (XVI, 520 p.) Theoretical Computer Science and General Issues,2512-2029 ;4963Bibliographic Level Mode of Issuance: Monograph3-540-78799-2 Includes bibliographical references and index.Invited Talk -- Hardware Verification: Techniques, Methodology and Solutions -- Parameterized Systems -- Extending Automated Compositional Verification to the Full Class of Omega-Regular Languages -- Graph Grammar Modeling and Verification of Ad Hoc Routing Protocols -- Proving Ptolemy Right: The Environment Abstraction Framework for Model Checking Concurrent Systems -- Model Checking – I -- Revisiting Resistance Speeds Up I/O-Efficient LTL Model Checking -- Antichains: Alternative Algorithms for LTL Satisfiability and Model-Checking -- On-the-Fly Techniques for Game-Based Software Model Checking -- Computing Simulations over Tree Automata -- Applications -- Formal Pervasive Verification of a Paging Mechanism -- Analyzing Stripped Device-Driver Executables -- Model Checking-Based Genetic Programming with an Application to Mutual Exclusion -- Model Checking – II -- Conditional Probabilities over Probabilistic and Nondeterministic Systems -- On Automated Verification of Probabilistic Programs -- Symbolic Model Checking of Hybrid Systems Using Template Polyhedra -- Fast Directed Model Checking Via Russian Doll Abstraction -- Static Analysis -- A SAT-Based Approach to Size Change Termination with Global Ranking Functions -- Efficient Automatic STE Refinement Using Responsibility -- Reasoning Algebraically About P-Solvable Loops -- On Local Reasoning in Verification -- Concurrent/Distributed Systems -- Interprocedural Analysis of Concurrent Programs Under a Context Bound -- Context-Bounded Analysis of Concurrent Queue Systems -- On Verifying Fault Tolerance of Distributed Protocols -- Tools – I -- The Real-Time Maude Tool -- Z3: An Efficient SMT Solver -- Computation and Visualisation of Phase Portraits for Model Checking SPDIs -- GOAL Extended: Towards a Research Tool for Omega Automata and Temporal Logic -- Symbolic Execution -- RWset: Attacking Path Explosion in Constraint-Based Test Generation -- Demand-Driven Compositional Symbolic Execution -- Peephole Partial Order Reduction -- Abstraction, Interpolation -- Efficient Interpolant Generation in Satisfiability Modulo Theories -- Quantified Invariant Generation Using an Interpolating Saturation Prover -- Accelerating Interpolation-Based Model-Checking -- Automatically Refining Abstract Interpretations -- Tools – II -- SVISS: Symbolic Verification of Symmetric Systems -- RESY: Requirement Synthesis for Compositional Model Checking -- Scoot: A Tool for the Analysis of SystemC Models -- Trust, Reputation -- Trusted Source Translation of a Total Function Language -- Rocket-Fast Proof Checking for SMT Solvers -- SDSIrep: A Reputation System Based on SDSI.Theoretical Computer Science and General Issues,2512-2029 ;4963Software engineeringComputer scienceComputer networksAlgorithmsSoftware EngineeringComputer Science Logic and Foundations of ProgrammingComputer Communication NetworksAlgorithmsSoftware engineering.Computer science.Computer networks.Algorithms.Software Engineering.Computer Science Logic and Foundations of Programming.Computer Communication Networks.Algorithms.005.1Ramakrishnan C.Redthttp://id.loc.gov/vocabulary/relators/edtRehof Jakobedthttp://id.loc.gov/vocabulary/relators/edtETAPS 2008(2008 :Budapest, Hungary)BOOK996465477603316Tools and Algorithms for the Construction and Analysis of Systems772021UNISA