Cantitate/Preț
Produs
Total produse
Vezi coșul
Tools and Algorithms for the Construction and Analysis of Systems: 15th International Conference, TACAS 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009, Proceedings de Stefan Kowalewski

Tools and Algorithms for the Construction and Analysis of Systems: 15th International Conference, TACAS 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009, Proceedings: Lecture Notes in Computer Science, cartea 5505

Editat de Stefan Kowalewski, Anna Philippou
en Limba Engleză Paperback – 9 mar 2009
This book constitutes the refereed proceedings of the 15th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2009, held in York, UK, in March 2009, as part of ETAPS 2009, the European Joint Conferences on Theory and Practice of Software. The 27 full papers and 8 tool demonstrations included in the volume were thoroughly reviewed and selected from 131 submissions. The papers are organized in topical sections on Model Checking, Tools, Verification of Concurrent Programs, Parametric Analysis, Program Analysis, and Hybrid Systems.
Citește tot Restrânge

Din seria Lecture Notes in Computer Science

Preț: 32479 lei

Preț vechi: 40598 lei
-20% Nou

Puncte Express: 487
Preț estimativ în valută:
6220€ • 6731$ • 5185£

Carte tipărită la comandă

Livrare economică 09-23 decembrie

 Adaugă în coș

Wish list
Gift list
Am citit!
Adaugă în listă
Preluare comenzi: 021 569.72.76

Specificații

ISBN-13: 9783642007675
ISBN-10: 3642007678
Pagini: 456
Ilustrații: XVI, 456 p.
Dimensiuni: 155 x 235 x 28 mm
Greutate: 0.7 kg
Ediția:2009
Editura: Springer Berlin, Heidelberg
Colecția Springer
Seriile Lecture Notes in Computer Science, Theoretical Computer Science and General Issues

Locul publicării:Berlin, Heidelberg, Germany

Public țintă

Research

Cuprins

Model Checking I.- Hierarchical Set Decision Diagrams and Regular Models.- Büchi Complementation and Size-Change Termination.- Learning Minimal Separating DFA’s for Compositional Verification.- Tools I.- RBAC-PAT: A Policy Analysis Tool for Role Based Access Control.- ITPN-PerfBound: A Performance Bound Tool for Interval Time Petri Nets.- Romeo: A Parametric Model-Checker for Petri Nets with Stopwatches.- Alpaga: A Tool for Solving Parity Games with Imperfect Information.- Game-Theoretic Approaches.- Compositional Predicate Abstraction from Game Semantics.- Compositional Synthesis of Reactive Systems from Live Sequence Chart Specifications.- Computing Weakest Strategies for Safety Games of Imperfect Information.- Verification of Concurrent Programs.- Context-Bounded Analysis for Concurrent Programs with Dynamic Creation of Threads.- Semantic Reduction of Thread Interleavings in Concurrent Programs.- Inferring Synchronization under Limited Observability.- The Complexity of Predicting Atomicity Violations.- Tools II.- MoonWalker: Verification of .NET Programs.- Boolector: An Efficient SMT Solver for Bit-Vectors and Arrays.- The Yogi Project: Software Property Checking via Static Analysis and Testing.- TaPAS: The Talence Presburger Arithmetic Suite.- Model Checking II.- Transition-Based Directed Model Checking.- Memoised Garbage Collection for Software Model Checking.- Hierarchical Adaptive State Space Caching Based on Level Sampling.- Parametric Analysis.- Static Analysis Techniques for Parameterised Boolean Equation Systems.- Parametric Trace Slicing and Monitoring.- Generative Approaches.- From Tests to Proofs.- Test Input Generation for Programs with Pointers.- Specification Mining with Few False Positives.- Program Analysis.- Path Feasibility Analysis forString-Manipulating Programs.- Symbolic String Verification: Combining String Analysis and Size Analysis.- Iterating Octagons.- Verifying Reference Counting Implementations.- Hybrid Systems.- Falsification of LTL Safety Properties in Hybrid Systems.- Computing Optimized Representations for Non-convex Polyhedra by Detection and Removal of Redundant Linear Constraints.- Decision Procedures and Theorem Proving.- All-Termination(T).- Ground Interpolation for the Theory of Equality.- Satisfiability Procedures for Combination of Theories Sharing Integer Offsets.- Invited Contribution.- Bridging the Gap Between Model-Based Development and Model Checking.

Textul de pe ultima copertă

This book constitutes the refereed proceedings of the 15th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2009, held in York, UK, in March 2009, as part of ETAPS 2009, the European Joint Conferences on Theory and Practice of Software.
The 27 full papers and 8 tool demonstrations included in the volume were thoroughly reviewed and selected from 131 submissions. The papers are organized in topical sections on Model Checking, Tools, Verification of Concurrent Programs, Parametric Analysis, Program Analysis, and Hybrid Systems.