Automatic synthesis of optimal invariant assertions: Mathematical foundations

Patrick Cousot, Radhia Cousot

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Original languageEnglish (US)
Title of host publicationACM Symposium on Artificial Intelligence & Programming Languages, Rochester, NY, USA
PublisherACM
Pages1-12
StatePublished - 1977

Publication series

NameACM SIGPLAN Notices
Number8
Volume12

Cite this

Cousot, P., & Cousot, R. (1977). Automatic synthesis of optimal invariant assertions: Mathematical foundations. In ACM Symposium on Artificial Intelligence & Programming Languages, Rochester, NY, USA (pp. 1-12). (ACM SIGPLAN Notices; Vol. 12, No. 8). ACM.