Tools and Algorithms for the Construction and Analysis of Systems, Axel Legay; Tiziana Margaria

Автор: Stefan Kowalewski; Anna Philippou
Название: Tools and Algorithms for the Construction and Analysis of Systems
ISBN: 3642007678 ISBN-13(EAN): 9783642007675
Издательство: Springer
Рейтинг:
Цена: 83850.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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.

Автор: Axel Legay; Tiziana Margaria
Название: Tools and Algorithms for the Construction and Analysis of Systems
ISBN: 3662545799 ISBN-13(EAN): 9783662545799
Издательство: Springer
Рейтинг:
Цена: 65210.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The two-book set LNCS 10205 ] 10206 constitutes the proceedings of the 23rd International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2017, which took place in Uppsala, Sweden in April 2017, held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017.

The 48 full papers, 4 tool demonstration papers, and 12 software competition papers presented in these volumes were carefully reviewed and selected from 181 submissions to TACAS and 32 submissions to the software competition. They were organized in topical sections named: verification techniques; learning; synthesis; automata; concurrency and bisimulation; hybrid systems; security; run-time verification and logic; quantitative systems; SAT and SMT; and SV COMP.

Автор: Javier Esparza; Rupak Majumdar
Название: Tools and Algorithms for the Construction and Analysis of Systems
ISBN: 3642120016 ISBN-13(EAN): 9783642120015
Издательство: Springer
Рейтинг:
Цена: 83850.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Constitutes the refereed proceedings of the 16th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2010, held in Paphos, Cyprus, in March 2010, as part of ETAPS 2010, the European Joint Conferences on Theory and Practice of Software.

Автор: Erika Abraham; Klaus Havelund
Название: Tools and Algorithms for the Construction and Analysis of Systems
ISBN: 364254861X ISBN-13(EAN): 9783642548611
Издательство: Springer
Рейтинг:
Цена: 74530.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The total of 42 papers included in this volume, consisting of 26 research papers, 3 case study papers, 6 regular tool papers and 7 tool demonstrations papers, were carefully reviewed and selected from 161 submissions.

Автор: Marsha Chechik; Jean-Fran?ois Raskin
Название: Tools and Algorithms for the Construction and Analysis of Systems
ISBN: 3662496739 ISBN-13(EAN): 9783662496732
Издательство: Springer
Рейтинг:
Цена: 89440.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание:

Robots at the Edge of the Cloud.- Finding Recurrent Sets with Backward Analysis and Trace Partitioning.- Tactics for the Dafny Program Verifier.- Synthesizing Ranking Functions from Bits and Pieces.- Abstraction Refinement and Antichains for Trace Inclusion of Infinite State Systems.- Probabilistic and Stochastic Systems Efficient Syntax-driven Lumping of Differential Equations.- Faster Statistical Model Checking for Unbounded Temporal Properties.- Safety-constrained Reinforcement Learning for MDPs.- Safety Verification of Continuous-Space Pure Jump Markov Processes.- Abstract Learning Frameworks for Synthesis.- Synthesizing Piece-wise Functions by Learning Classifiers.- An Automaton Learning Approach to Solving Safety Games over Infinite Graphs.- Uncertainty Propagation using Probabilistic Affine Forms and Concentration of Measure Inequalities.- Online and Compositional Learning of Controllers with Application to Floor Heating.- Deductive Proofs of Almost Sure Persistence and Recurrence Properties.- Probabilistic CTL*: The Deductive Way.- Parametric Runtime Verification of C Programs.- Coqoon: an IDE for interactive proof development in Coq.- Multi-core symbolic bisimulation minimization.- Advances in Symbolic Probabilistic Model Checking with PRISM.- PRISM-PSY: Precise GPU-Accelerated Parameter Synthesis for Stochastic Systems.- T2: Temporal Property Verification.- RTD-Finder: A Tool for Compositional Verification of Real-Time Component-based Systems.- TcT: Tyrolean Complexity Tool.- Integrated Environment for Diagnosing Verification Errors.- JDart: A Dynamic Symbolic Analysis Framework.- Diagnostic Information for Control-Flow Analysis of Workflow Graphs.- Approaching the Coverability Problem Continuously.- On Atomicity in Presence of Non-atomic Writes.- Formalizing and Checking Thread Refinement for Data-Race-Free Execution Models.- The xSAP Safety Analysis Platform.- FACT: A Probabilistic Model Checker for Formal Verification with Confidence Intervals.- PrDK: Protocol Programming with Automata.- DLC: Compiling a Concurrent System Formal Specification to a Distributed Implementation.- PRISM-games 2.0: A Tool for Multi-Objective Strategy Synthesis for Stochastic Games.- Cerberus: Automated Synthesis of Enforcement Mechanisms for Security-sensitive Business Processes.- Developing & Debugging Proof Strategies by Tinkering.- v2c - A Verilog to C Translator Tool.- Parameterized Compositional Model Checking.- An O(m log n) Algorithm for Stuttering Equivalence and Branching Bisimulation.- Interpolants in Nonlinear Theories over the Reals.- PTIME Computation of Transitive Closures of Octagonal Relations.- Verification of Linear Controller Software.- Partial Order Reduction for Event-driven Multi-threaded Programs.- Acceleration in Multi-Pushdown Systems.- Reduction of Nondeterministic Tree Automata.- Online Timed Pattern Matching using Derivatives.- Hybridization based CEGAR for Hybrid Automata with Affine Dynamics.- Complementing Semi-deterministic Buechi Automata.- Reasoning About Information Flow Security of Separation Kernels with Channel-based Communication.- Some Complexity Results for Stateful Network Verification.- Characteristic Formulae for Session Types.- Bit-Vector Optimization.- Runtime Monitoring with Union-Find Structures.- Competition on Software Verification: SV-COMP.- Reliable and Reproducible Competition Results with BenchExec and Witnesses (Report on SV-COMP 2016).

Автор: Joost-Pieter Katoen; Perdita Stevens
Название: Tools and Algorithms for the Construction and Analysis of Systems
ISBN: 3540434194 ISBN-13(EAN): 9783540434191
Издательство: Springer
Рейтинг:
Цена: 83850.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Constitutes the proceedings of the 8th International Conference on Tools and Algorithms for the Construction and Analysis of Systems held in France in 2002. The 29 full papers cover real-time and probabilistic systems, scheduling, software verification, infinite-state systems and more.

Автор: Tiziana Margaria; Bernhard Steffen
Название: Tools and Algorithms for the Construction and Analysis of Systems
ISBN: 3540610421 ISBN-13(EAN): 9783540610427
Издательство: Springer
Рейтинг:
Цена: 81050.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: These conference proceedings address current aspects of the design and analysis of distributed systems. The volume is organized in topical sections on tools, model checking and testing, security, models and methods, case studies, and logic and programs.

Автор: W. Rance Cleaveland
Название: Tools and Algorithms for the Construction of Analysis of Systems
ISBN: 3540657037 ISBN-13(EAN): 9783540657033
Издательство: Springer
Рейтинг:
Цена: 83850.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This text presents the proceedings of the 5th International Conference on Tools and Algorithms for the Construction and Analysis of Systems. The papers are organized into topical sections on areas such as real time systems, compositionality and abstraction, symbolic analysis and process algebras.

Автор: Gilles Barthe; Benjamin Gregoire; Marieke Huisman;
Название: Construction and Analysis of Safe, Secure, and Interoperable Smart Devices
ISBN: 3540336893 ISBN-13(EAN): 9783540336891
Издательство: Springer
Рейтинг:
Цена: 60550.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Constitutes the refereed post-proceedings of the Second International Workshop on Construction and Analysis of Safe, Secure, and Interoperable Smart Devices, CASSIS 2005. This work contains papers that are organized in topical sections on research trends in smart devices, Web services, virtual machine technology, security and proof-carrying code.

Автор: Christel Baier; Cesare Tinelli
Название: Tools and Algorithms for the Construction and Analysis of Systems
ISBN: 3662466805 ISBN-13(EAN): 9783662466803
Издательство: Springer
Рейтинг:
Цена: 74530.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The 45 papers included in this volume, consisting of 27 research papers, 2 case-study papers, 7 regular tool papers and 9 tool demonstration papers, were carefully reviewed and selected from 164 submissions.

Автор: Tiziana Margaria; Wang Yi
Название: Tools and Algorithms for the Construction and Analysis of Systems
ISBN: 3540418652 ISBN-13(EAN): 9783540418658
Издательство: Springer
Рейтинг:
Цена: 107130.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This title comprises selected papers covering topics such as symbolic verification, infinite state systems - deduction and abstraction, application of model checking techniques, timed and probabilistic systems, hardware - design and verification, and software verification,

Автор: Ed Brinksma; W. Rance Cleaveland; Kim G. Larsen; T
Название: Tools and Algorithms for the Construction and Analysis of Systems
ISBN: 3540606300 ISBN-13(EAN): 9783540606307
Издательство: Springer
Рейтинг:
Цена: 65210.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: These papers on tools and algorithms for the construction and analysis systems focus on such areas as refinement-based and compositional verification, construction techniques, analysis and verification via theorem proving, process algebras, and temporal and modal logics.