Efficient and user-friendly verification | IEEE Journals & Magazine | IEEE Xplore