Tools and algorithms for the construction and analysis of systems : 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 / / C.R. Ramakrishnan, Jakob Rehof (eds.)

• Pubblicazione: Berlin ; ; New York, : Springer, 2008
• Edizione: 1st ed. 2008.
• Descrizione fisica: 1 online resource (XVI, 520 p.)
• Disciplina: 005.1
• Soggetto topico: System design; Computer software - Development
• Altri autori: RamakrishnanC. R RehofJakob
• Note generali: Bibliographic Level Mode of Issuance: Monograph
• Nota di bibliografia: Includes bibliographical references and index.
• Nota di contenuto: 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.
• Altri titoli varianti: Joint European Conferences on Theory and Practice of Software; European Joint Conferences on Theory and Practice of Software 2008
• Titolo autorizzato: Tools and algorithms for the construction and analysis of systems
• ISBN: 3-540-78800-X
• Formato: Materiale a stampa
• Livello bibliografico: Monografia
• Lingua di pubblicazione: Inglese
• Record Nr.: 9910768474703321
• Lo trovi qui: Univ. Federico II
• Serie: Lecture notes in computer science ; ; 4963.; LNCS sublibrary. : SL 1, . -Theoretical computer science and general issues.