Correctness and Bounded Correctness [Keynote Address] | IEEE Conference Publication | IEEE Xplore