Induction principles for proving invariance properties of programs

Patrick Cousot, Radhia Cousot

Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)

Original languageEnglish (US)
Title of host publicationTools & notions for program construction
EditorsD. Neel
PublisherCambridge University Press
Pages43-119
StatePublished - 1982

Cite this

Cousot, P., & Cousot, R. (1982). Induction principles for proving invariance properties of programs. In D. Neel (Ed.), Tools & notions for program construction (pp. 43-119). Cambridge University Press.