Assume-guarantee verification of source code with design-level assumptions | IEEE Conference Publication | IEEE Xplore