Overview

This book constitutes the refereed proceedings of the 13th International Conference on Verified Software, VSTTE 2021, and the 14th International Workshop on Numerical Software Verification, NSV 2021, held online, in July/ October 2021. Due to COVID-19 pandemic the conference was held virtually.There were 10 papers presented in this volume were carefully reviewed and selected from 20 submissions. The papers focuses on challenges of the verification of cyber-physical systems with machine learning components and making large-scale verified software a practical reality and much more. 

Full Product Details

Author:   Roderick Bloem ,  Rayna Dimitrova ,  Chuchu Fan ,  Natasha Sharygina
Publisher:   Springer Nature Switzerland AG
Imprint:   Springer Nature Switzerland AG
Edition:   1st ed. 2022
Volume:   13124
Weight:   0.332kg
ISBN:  

9783030955601

ISBN 10:   3030955605
Pages:   197
Publication Date:   22 February 2022
Audience:   Professional and scholarly ,  Professional & Vocational
Format:   Paperback
Publisher's Status:   Active
Availability:   Manufactured on demand  
We will order this item for you from a manufactured on demand supplier.

Table of Contents

VSTTE 2021.- Quantitative Monitoring of Software.- Making Proofs of Floating-Point Programs Accessible to Regular Developers.- A Calculus for Multi-language Operational Semantics.- Partial Order Reduction for Timed Actors.- Uncertainty-Aware Signal Temporal Logic Inference.- Designing and Proving Properties of the Abaco Autoscaler Using TLA+.- Case Study: Analysis of Autonomous Center line Tracking Neural Networks.- Abstract Interpretation of LLVM with a Region-Based Memory Model.- NSV 2021.- Formal Verification of Neural Network Controllers for Collision-Free Flight.- An Efficient Summation Algorithm for the Accuracy, Convergence and Reproducibility of Parallel Numerical Methods.-Modeling Round-off Errors in Hydrodynamic Simulations.

Reviews

Author Information

Tab Content 6

Author Website:  

Customer Reviews

Recent Reviews

No review item found!

Add your own review!

Countries Available

All regions