Tool-Assisted Loop Invariant Development and Analysis | IEEE Conference Publication | IEEE Xplore