Margaria Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques 9783319471655

Варианты приобретения

Цена: 14814.00р.
Кол-во:
Наличие: Поставка под заказ. Есть в наличии на складе поставщика.
Склад Америка: Есть
При оформлении заказа до: 2025-07-28
Ориентировочная дата поставки: Август-начало Сентября
При условии наличия книги у поставщика.

Добавить в корзину

в Мои желания

Автор: Margaria
Название: Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques
ISBN: 9783319471655
Издательство: Springer
Классификация:

Языки программирования и описания сценариев: общие сведения

Технология разработки программного обеспечения

Искусственный интеллект

Разработка и эксплуатационная простота пользовательского интерфейса

ISBN-10: 3319471651
Обложка/Формат: Paperback
Страницы: 974
Вес: 1.50 кг.
Дата издания: 2016
Серия: Theoretical Computer Science and General Issues
Язык: English
Иллюстрации: 256 black & white illustrations, biography
Размер: 234 x 156 x 50
Читательская аудитория: Professional & vocational
Основная тема: Computer Science
Подзаголовок: 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10–14, 2016, Proceedings, Part I
Ссылка на Издательство: Link
Рейтинг:
Поставляется из: Германии
Описание: Statistical Model Checking: Past, Present and Future.- Hypothesis testing for rare-event simulation: limitations and possibilities.- Survey of Statistical Verification of Linear Unbounded Properties: Model Checking and Distances.- Feedback Control for Statistical Model Checking of Cyber-Physical Systems.- Probabilistic Model Checking of Incomplete Models.- Plasma Lab: A Modular Statistical Model Checking Platform.- Synthesizing Energy-Optimal Controllers for Multiprocessor Dataflow Applications with UPPAAL STRATEGO.- Statistical Model Checking for Product Lines.- Towards Adaptive Scheduling of Maintenance for Cyber-Physical Systems.- Better railway engineering through statistical model checking.- On Creation and Analysis of Reliability Models by Means of Stochastic Timed Automata and Statistical Model Checking: Principle.- Automatic Synthesis of Code using Genetic Programming.- Evaluation and Reproducibility of Program Analysis and Verification (Track Introduction).- Symbolic Execution with CEGAR.- Multi-Core Model Checking of Large-Scale Reactive Systems Using Different State Representations.- Sparse Analysis of Variable Path Predicates Based Upon SSA-Form.- A Model Interpreter for Timed Automata.- ModSyn-PP: Modular Synthesis of Programs and Processes: Track Introduction.- Combinatory Process Synthesis.- Synthesis from a Practical Perspective.- A Long and Winding Road Towards Modular Synthesis.- Semantic heterogeneity in the formal development of complex systems: an introduction.- On the Use of Domain and System Knowledge Modeling in Goal-Based Event-B Specifications.- Strengthening MDE and Formal Design Models by references to Domain Ontologies. A Model Annotation Based Approach.- Towards Functional Requirements Analytics.- Heterogeneous Semantics and Unifying Theories.- Static and Runtime Verification: Competitors or Friends?.- StaRVOOrS - Episode II, Strengthen and Distribute the Force.- A Model-Based Approach to Combining Static and Dynamic Verification Techniques.- Information flow analysis for Go.- Challenges in High-Assurance Runtime Verification .- Static versus Dynamic Verification in Why3, Frama-C and SPARK 2014.- Considering Type-State Verification for Quantified Event Automata.- Combining Static and Runtime Methods to Achieve Safe Standing-Up for Humanoid Robots.- On Combinations of Static and Dynamic Analysis.- Safer Refactorings.- Rigorous Engineering of Collective Adaptive Systems.- Programming of CAS systems by relying on attribute-based communication.- Towards Static Analysis of Policy-Based Self-Adaptive Computing Systems.- A Calculus for Open Ensembles and Their Composition.- Logic Fragments: coordinating entities with logic programs.- Mixed-Critical Systems Design with Coarse-grained Multi-core Interference.- A Library and Scripting Language for Tool Independent Simulation Descriptions.- Adaptation to the unforeseen: Do we master our autonomous systems?-- Questions to the Panel.- Smart coordination of autonomic component ensembles in the context of ad-hoc communication.- A Tool-chain for Statistical Spatio-Temporal Model Checking of Bike-sharing Systems.- Rigorous graphical modelling of movement in Collective Adaptive Systems.- Integration and Promotion of Autonomy with the ARE Framework.- Safe Artificial Intelligence and Formal Methods.- Engineering Adaptivity, Universal Autonomous Systems, Ethics and Compliance Issues.- Correctness-by-Construction and Post-hoc Verification: Friends or Foes?.- Correctness-by-Construction and Post-hoc Verification: A Marriage of Convenience?.- Deductive Verification of Legacy Code.- Correctness-by-Construction $\land$ Taxonomies $\Rightarrow$\\ Deep Comprehension of Algorithm Families.- Conditions for Compatibility of Components - The case of masters and slaves.- A Logic for Statistical Model Checking of Dynamic Software Architectures.- On two Friends for getting Correct Programs - Automatically Translating Event-B Specifications to Recursive Algorithms
Дополнительное описание:

Statistical Model Checking: Past, Present and Future.- Hypothesis testing for rare-event simulation: limitations and possibilities.- Survey of Statistical Verification of Linear Unbounded Properties: Model Checking and Distances.- Feedback Control fo

Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques, Margaria