Numerical Software Verification, 1st ed. 2017 10th International Workshop, NSV 2017, Heidelberg, Germany, July 22-23, 2017, Proceedings Theoretical Computer Science and General Issues Series
Coordonnateurs : Abate Alessandro, Boldo Sylvie
Includes supplementary material: sn.pub/extras
Date de parution : 07-2017
Ouvrage de 115 p.
15.5x23.5 cm
Thèmes de Numerical Software Verification :
Mots-clés :
hybrid systems; abstraction techniques; optimal control; parameter identification; numerical optimisation methods; embedded systems verification; propagation of uncertainties; probabilistic models; correctness of numerical programs; formal specification of numerical programs; verification; software engineering; algorithms; software verification; source code; numerical verification; cyber-physical systems; algorithm analysis and problem complexity