French
Tools and Algorithms for the Construction and Analysis of Systems : 17th International Conference, TACAS 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS…
Overview of attention for book
Table of Contents
-
Altmetric BadgeBook Overview
-
Altmetric BadgeChapter 1 Reliable Software Development: Analysis-Aware Design
-
Altmetric BadgeChapter 2 Transition Invariants and Transition Predicate Abstraction for Program Termination
-
Altmetric BadgeChapter 3 Sound and Complete Monitoring of Sequential Consistency for Relaxed Memory Models
-
Altmetric BadgeChapter 4 Compositionality Entails Sequentializability
-
Altmetric BadgeChapter 5 Tools and Algorithms for the Construction and Analysis of Systems
-
Altmetric BadgeChapter 6 Canonized Rewriting and Ground AC Completion Modulo Shostak Theories
-
Altmetric BadgeChapter 7 Tools and Algorithms for the Construction and Analysis of Systems
-
Altmetric BadgeChapter 8 Enforcing Structural Invariants Using Dynamic Frames
-
Altmetric BadgeChapter 9 Loop Summarization and Termination Analysis
-
Altmetric BadgeChapter 10 Off-Line Test Selection with Test Purposes for Non-deterministic Timed Automata
-
Altmetric BadgeChapter 11 Tools and Algorithms for the Construction and Analysis of Systems
-
Altmetric BadgeChapter 12 Efficient CTMC Model Checking of Linear Real-Time Objectives
-
Altmetric BadgeChapter 13 Efficient Interpolant Generation in Satisfiability Modulo Linear Integer Arithmetic
-
Altmetric BadgeChapter 14 Generalized Craig Interpolation for Stochastic Boolean Satisfiability Problems
-
Altmetric BadgeChapter 15 Specification-Based Program Repair Using SAT
-
Altmetric BadgeChapter 16 Optimal Base Encodings for Pseudo-Boolean Constraints
-
Altmetric BadgeChapter 17 Predicate Generation for Learning-Based Quantifier-Free Loop Invariant Inference
-
Altmetric BadgeChapter 18 Next Generation LearnLib
-
Altmetric BadgeChapter 19 Applying CEGAR to the Petri Net State Equation
-
Altmetric BadgeChapter 20 Biased Model Checking Using Flows
-
Altmetric BadgeChapter 21 S-TaLiRo: A Tool for Temporal Logic Falsification for Hybrid Systems
-
Altmetric BadgeChapter 22 GAVS+: An Open Platform for the Research of Algorithmic Game Solving
-
Altmetric BadgeChapter 23 Büchi Store: An Open Repository of Büchi Automata
-
Altmetric BadgeChapter 24 QUASY: Quantitative Synthesis Tool
-
Altmetric BadgeChapter 25 Unbeast: Symbolic Bounded Synthesis
-
Altmetric BadgeChapter 26 Abstractions and Pattern Databases: The Quest for Succinctness and Accuracy
-
Altmetric BadgeChapter 27 The ACL2 Sedan Theorem Proving System
-
Altmetric BadgeChapter 28 Tools and Algorithms for the Construction and Analysis of Systems
-
Altmetric BadgeChapter 29 Confluence Reduction for Probabilistic Systems
-
Altmetric BadgeChapter 30 Model Repair for Probabilistic Systems
-
Altmetric BadgeChapter 31 Boosting Lazy Abstraction for SystemC with Partial Order Reduction
-
Altmetric BadgeChapter 32 Modelling and Verification of Web Services Business Activity Protocol
-
Altmetric BadgeChapter 33 CADP 2010: A Toolbox for the Construction and Analysis of Distributed Processes
-
Altmetric BadgeChapter 34 GameTime: A Toolkit for Timing Analysis of Software