Method and tools for verification of cross-platform onboard software Journal title: Modern Innovations, Systems and Technologies Authors: I.V. Kovalev, M.V. Saramud, V.V. Losev, A.A. Koltashev Subject(s): Engineering, Environmental Sciences, Materials Science, Management Information Systems, Technological Change, Control Systems, Control and Optimization, Innovation