Automatic synthesis of optimal invariant assertions: Mathematical foundations

Patrick Cousot; Radhia Cousot

doi:10.1145/872734.806926

Automatic synthesis of optimal invariant assertions: Mathematical foundations

Computer Science

Research output: Contribution to journal › Article › peer-review

Original language	English (US)
Pages (from-to)	1-12
Number of pages	12
Journal	ACM SIGPLAN Notices
Volume	12
Issue number	8
DOIs	https://doi.org/10.1145/872734.806926
State	Published - Aug 1 1977

ASJC Scopus subject areas

Software
Computer Graphics and Computer-Aided Design

Access to Document

10.1145/872734.806926

Cite this

@article{2df394c06db54ed39f823ee427c531fa,

title = "Automatic synthesis of optimal invariant assertions: Mathematical foundations",

author = "Patrick Cousot and Radhia Cousot",

year = "1977",

month = aug,

day = "1",

doi = "10.1145/872734.806926",

language = "English (US)",

volume = "12",

pages = "1--12",

journal = "ACM SIGPLAN Notices",

issn = "0362-1340",

publisher = "Association for Computing Machinery (ACM)",

number = "8",

}

TY - JOUR

T1 - Automatic synthesis of optimal invariant assertions

T2 - Mathematical foundations

AU - Cousot, Patrick

AU - Cousot, Radhia

PY - 1977/8/1

Y1 - 1977/8/1

UR - http://www.scopus.com/inward/record.url?scp=84976789945&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=84976789945&partnerID=8YFLogxK

U2 - 10.1145/872734.806926

DO - 10.1145/872734.806926

M3 - Article

AN - SCOPUS:84976789945

SN - 0362-1340

VL - 12

SP - 1

EP - 12

JO - ACM SIGPLAN Notices

JF - ACM SIGPLAN Notices

IS - 8

ER -

Automatic synthesis of optimal invariant assertions: Mathematical foundations

ASJC Scopus subject areas

Access to Document

Other files and links

Cite this