NSV 2018 - 11th International Workshop on Numerical Software Verification (NSV-XI)

The NSV workshop is dedicated to the current development and future prospects on applying logical and mathematical techniques for reasoning about numerical aspects of software. The workshop will also be an occasion to discuss robustness of software and systems under uncertainty of values and numerical perturbations, which is a central issue in numerical methods and robust control. The scope of the workshop includes the following topics:
Models and Abstraction Techniques,
Specifications of correctness for numerical programs
Formal verification of numerical programs,
Quality of finite precision implementations,
Propagation of uncertainties, deterministic and probabilistic models,
Numerical properties of control software,
Robustness of software and systems,
Analyses for functional properties: continuity, differentiability, stability, robustness and well-conditioning,
Hybrid systems verification,
Validation for avionics, automotive and real-time applications,
Validation for scientific computing programs,
Benchmarks and tools for numerical software verification.