Numerical Software Verification : 9th International Workshop, NSV 2016, Toronto, ON, Canada, July 17-18, 2016, Revised Selected Papers - Bogomolov, Sergiy; Martel, Matthieu; Prabhakar, Pavithra; SpringerLink (Online service) (Cham : Springer International Publishing : Imprint: Springer, 2017)
Verification and validation of global properties, -- Implementation of numerical techniques on modern hardware -- Development and analysis of cyber-physical systems (CPS).
Keywords: Computer logic; Software engineering; Computer communication systems; Mathematical logic; Application software; Artificial intelligence; Logics and Meanings of Programs; Software Engineering; Computer Communication Networks; Mathematical Logic and Formal Languages; Information Systems Applications (incl. Internet).; Artificial Intelligence