'A la Floyd' induction principles for proving inevitability properties of programs

Patrick Cousot, Radhia Cousot

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

Original languageEnglish (US)
Title of host publicationAlgebraic methods in semantics
EditorsM. Nivat, J. Reynolds
PublisherCambridge University Press
Pages277-312
StatePublished - 1985

Cite this

Cousot, P., & Cousot, R. (1985). 'A la Floyd' induction principles for proving inevitability properties of programs. In M. Nivat, & J. Reynolds (Eds.), Algebraic methods in semantics (pp. 277-312). [Chapter 8] Cambridge University Press.