Numerical Software Verification, 1st ed. 2017 9th International Workshop, NSV 2016, Toronto, ON, Canada, July 17-18, 2016, Revised Selected Papers Theoretical Computer Science and General Issues Series
Coordonnateurs : Bogomolov Sergiy, Martel Matthieu, Prabhakar Pavithra
The NSV workshop is dedicated to the development of logical and mathematical techniques for the reasoning about programmability and reliability.
Includes supplementary material: sn.pub/extras
Date de parution : 02-2017
Ouvrage de 107 p.
15.5x23.5 cm
Thème de Numerical Software Verification :
Mots-clés :
cyber-physical systems; internet of things; numerical simulation; statistical verification; stochastic processes; dependable systems; differential equations; embedded systems; fault-tolerant systems and networks; formal abstractions; games; hybrid automaton; model based; numerical analysis; probabilistic verification; software verification; systems of systems; verification