Assertion Synthesis is a formal method in assertion-based verification that automatically generates logical assertions characterizing intended behavioral properties of a system, distinguished from related assertion derivation techniques by its emphasis on constructing comprehensive and contextually relevant specifications from system models or execution traces.
16
Publications
905
Citations
30
Authors
16
Institutions
Publications per year
2017–2026
2
Parents
Publications
16
The synthesis of loop predicates
Ben Wegbreit · Communications of the ACM · 1974 · 136 citations · Full text
Automatic synthesis of optimal invariant assertions
Patrick Cousot, Radhia Cousot · 1977 · 107 citations · Full text
1–5 of 16
Authors
30
- BW
2
h-index
- PC
2
h-index
- MS
2
h-index
- RC
2
h-index
- SK
2
h-index
1–5 of 30
Institutions
16
Massachusetts Institute of Technology
Cambridge, United States
2 h-index
3 publications
146 citations
Université Paris Cité
Paris, France
2 h-index
8 publications
160 citations
Centre National de la Recherche Scientifique
Paris, France
2 h-index
8 publications
160 citations
Laboratoire d'Informatique Algorithmique: Fondements et Applications
Paris, France
2 h-index
8 publications
160 citations
Palo Alto Research Center
Palo Alto, United States
2 h-index
3 publications
304 citations
McGill University
Montreal, Canada
2 h-index
4 publications
280 citations
Laboratoire d'Informatique de Grenoble
Grenoble, France
2 h-index
2 publications
139 citations
University of California, Berkeley
Berkeley, United States
1 h-index
1 publications
60 citations
1–8 of 16
Venues
- ACM SIGPLAN Notices
2 publications · 57 citations
2
h-index
- Conference on Automated Deduction
Conference · 1 publications · 17 citations
1
h-index
- Proceedings of the ACM on software engineering.
1 publications · 26 citations
1
h-index
- IEEE Transactions on Software Engineering
TSE · 1 publications · 84 citations
1
h-index
- Communications of the ACM
1 publications · 136 citations
1
h-index
1–5