Tools and Algorithms for the Construction and Analysis of Systems: 14th International Conference, TACAS 2008, Held as Part of the Joint European . (Lecture Notes in Computer Science, 4963)

ISBN 10: 3540787992 / ISBN 13: 9783540787990

Editore: Springer, 2008

Brand new book. Fast ship. Please provide full street address as we are not able to ship to P O box address. Codice articolo SHAK244507

Riassunto:

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.

Contenuti: 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.

Dati bibliografici

Titolo: Tools and Algorithms for the Construction ...
Casa editrice: Springer
Data di pubblicazione: 2008
Legatura: Brossura
Condizione: nuovo