TY  - BOOK
AU  - Ramakrishnan,C.R.
AU  - Rehof,Jakob
ED  - TACAS (Conference)
ED  - ETAPS (Conference)
TI  - 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 
T2  - Lecture notes in computer science
SN  - 9783540788003
AV  - QA76.9.S88 T33 2008eb
U1  - 005.1 22
PY  - 2008///
CY  - Berlin, New York
PB  - Springer
KW  - System design
KW  - Congresses
KW  - System analysis
KW  - Computer software
KW  - Development
KW  - Conception de systèmes
KW  - Congrès
KW  - Analyse de systèmes
KW  - Informatique
KW  - eclas
KW  - fast
KW  - Congress
KW  - Conference papers and proceedings
KW  - lcgft
KW  - Actes de congrès
KW  - rvmgf
N1  - 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
N2  - This book constitutes the refereed proceedings of the 14th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2008, held in Budapest, Hungary, in March/April 2008 as part of ETAPS 2008, the European Joint Conferences on Theory and Practice of Software. The 31 revised full research papers and 7 revised tool demonstration papers presented together with the abstract of an invited paper were carefully reviewed and selected from a total of 140 submissions. The papers are organized in topical sections on parameterized systems, model checking, applications, static analysis, concurrent/distributed systems, symbolic execution, abstraction, interpolation, trust, and reputation
UR  - https://link.springer.com/10.1007/978-3-540-78800-3
ER  -