@techreport{kalyanasundaram:inria-00615623, TITLE = {{Automated Generation of Loop Invariants using Predicate Abstraction}}, AUTHOR = {Kalyanasundaram, Krishnamani and March{\'e}, Claude}, URL = {https://inria.hal.science/inria-00615623}, TYPE = {Research Report}, NUMBER = {RR-7714}, PAGES = {32}, INSTITUTION = {{INRIA}}, YEAR = {2011}, MONTH = Aug, KEYWORDS = {Proof of Programs ; Formal Specification ; Loop Invariants ; Predicate Abstraction}, PDF = {https://inria.hal.science/inria-00615623/file/main.pdf}, HAL_ID = {inria-00615623}, HAL_VERSION = {v1}, }