Invariance proof methods and analysis techniques for parallel programs

Patrick Cousot, Radhia Cousot

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

Original languageEnglish (US)
Title of host publicationAutomatic program construction techniques
EditorsA. Biermann, G. Guiho, Y. Kodratoff
PublisherMacmillan
Pages243-271
StatePublished - 1984

Cite this

Cousot, P., & Cousot, R. (1984). Invariance proof methods and analysis techniques for parallel programs. In A. Biermann, G. Guiho, & Y. Kodratoff (Eds.), Automatic program construction techniques (pp. 243-271). [Chapter 12] Macmillan.