LEADER 05228nam 22006735 450 001 9910768474703321 005 20230406032413.0 010 $a3-540-78800-X 024 7 $a10.1007/978-3-540-78800-3 035 $a(CKB)1000000000491038 035 $a(SSID)ssj0000320413 035 $a(PQKBManifestationID)11263733 035 $a(PQKBTitleCode)TC0000320413 035 $a(PQKBWorkID)10249393 035 $a(PQKB)11308605 035 $a(DE-He213)978-3-540-78800-3 035 $a(MiAaPQ)EBC3068717 035 $a(PPN)125218648 035 $a(EXLCZ)991000000000491038 100 $a20100301d2008 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 $e14th 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 /$fedited by C.R. Ramakrishnan, Jakob Rehof 205 $a1st ed. 2008. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2008. 215 $a1 online resource (XVI, 520 p.) 225 1 $aTheoretical Computer Science and General Issues,$x2512-2029 ;$v4963 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-540-78799-2 320 $aIncludes bibliographical references and index. 327 $aInvited 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. 410 0$aTheoretical Computer Science and General Issues,$x2512-2029 ;$v4963 606 $aSoftware engineering 606 $aComputer science 606 $aComputer networks 606 $aAlgorithms 606 $aSoftware Engineering 606 $aComputer Science Logic and Foundations of Programming 606 $aComputer Communication Networks 606 $aAlgorithms 615 0$aSoftware engineering. 615 0$aComputer science. 615 0$aComputer networks. 615 0$aAlgorithms. 615 14$aSoftware Engineering. 615 24$aComputer Science Logic and Foundations of Programming. 615 24$aComputer Communication Networks. 615 24$aAlgorithms. 676 $a005.1 702 $aRamakrishnan$b C.R$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aRehof$b Jakob$4edt$4http://id.loc.gov/vocabulary/relators/edt 712 12$aETAPS 2008$f(2008 :$eBudapest, Hungary) 906 $aBOOK 912 $a9910768474703321 996 $aTools and Algorithms for the Construction and Analysis of Systems$9772021 997 $aUNINA