Software verification : 13th International Conference, VSTTE 2021, New Haven, CT, USA, October 18-19, 2021, and 14th International Workshop, NSV 2021, Los Angeles, CA, USA, July 18-19, 2021, Revised selected papers / Roderick Bloem, Rayna Dimitrova, Chuchu Fan, Natasha Sharygina (eds.).
VSTTE (Conference) (13th : 2021 : Online); Bloem, Roderick P.; Dimitrova, Rayna.; Fan, Chuchu.; Sharygina, Natasha.; NSV (Workshop) (14th : 2021 : Online)
2022
QA76.76.V47 V59 2021eb
Available Online

Linked e-resources

Linked Resource Online Access
Concurrent users Unlimited
Authorized users Authorized users
Document Delivery Supplied Can lend chapters, not whole ebooks

Details

Title Software verification : 13th International Conference, VSTTE 2021, New Haven, CT, USA, October 18-19, 2021, and 14th International Workshop, NSV 2021, Los Angeles, CA, USA, July 18-19, 2021, Revised selected papers / Roderick Bloem, Rayna Dimitrova, Chuchu Fan, Natasha Sharygina (eds.).
Meeting Name VSTTE (Conference) (13th : 2021 : Online)
ISBN 9783030955618 (electronic bk.)
3030955613 (electronic bk.)
9783030955601 (print)
3030955605
DOI https://doi.org/10.1007/978-3-030-95561-8
Publication Details Cham : Springer, 2022.
Language English
Description 1 online resource (207 pages)
Item Number 10.1007/978-3-030-95561-8 doi
Call Number QA76.76.V47 V59 2021eb
Dewey Decimal Classification 005.1/4
Summary 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.
Note Both conferences were held virtually.
Includes author index.
Access Note Access limited to authorized users.
Source of Description Online resource; title from PDF title page (SpringerLink, viewed March 7, 2022).
Added Author Bloem, Roderick P.
Dimitrova, Rayna.
Fan, Chuchu.
Sharygina, Natasha.
Added Meeting Name NSV (Workshop) (14th : 2021 : Online)
Series Lecture notes in computer science ; 13124.
LNCS sublibrary. SL 2, Programming and software engineering.
Available in Other Form Software Verification.
Linked Resources Online Access
Record Appears in Online Resources > Ebooks
All Resources
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.

Browse Subjects

Show more subjects...

Statistics

from
to
Export