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
Gespeichert in:
| Körperschaften: | , |
|---|---|
| Weitere Verfasser: | , , , |
| Format: | UnknownFormat |
| Sprache: | eng |
| Veröffentlicht: |
Cham
Springer
2022
|
| Schriftenreihe: | Lecture notes in computer science
13124 |
| Schlagworte: | |
| Online Zugang: | Inhaltsverzeichnis |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
Tag hinzufügen | Titel | Jahr | Verfasser |
|---|---|---|
| A Calculus for Multi-language Operational Semantics | 2022 | Cimini, Matteo |
| Partial Order Reduction for Timed Actors | 2022 | Bagheri, Maryam |
| Modeling Round-Off Errors in Hydrodynamic Simulations | 2022 | Weens, William |
| Quantitative Monitoring of Software | 2022 | Henzinger, Thomas A. |
| Making Proofs of Floating-Point Programs Accessible to Regular Developers. | 2022 | Dross, Claire |
| Abstract Interpretation of LLVM with a Region-Based Memory Model | 2022 | Gurfinkel, Arie |
| Uncertainty-Aware Signal Temporal Logic Inference | 2022 | Baharisangari, Nasim |
| Designing and Proving Properties of the Abaco Autoscaler Using ILA+ | 2022 | Padhy, Smruti |
| Case Study: Analysis of Autonomous Center Line Tracking Neural Networks | 2022 | Kadron, Ismet Burak |
| An Efficient Summation Algorithm for the Accuracy, Convergence and Reproducibility of Parallel Numerical Methods | 2022 | Benmouhoub, Farah |
| Formal Verification of Neural Network Controllers for Collision-Free Flight | 2022 | Genin, Daniel |