Verifiable program construction in a user-friendly style | IEEE Conference Publication | IEEE Xplore