Verified software: a grand challenge | IEEE Journals & Magazine | IEEE Xplore