An algorithm for automated generation of invariants for loops with conditionals | IEEE Conference Publication | IEEE Xplore