Specification Logic is a formal logical system that extends Hoare Logic by incorporating preconditions and postconditions as first-class assertions to specify program correctness with respect to behavioral contracts.
97
Publications
4K
Citations
197
Authors
91
Institutions
Publications per year
2017–2026
6
Parents
Publications
97
Leslie Lamport · IFIP Congress · 1983 · 445 citations
The RAISE Specification Language
Anne E. Haxthausen · 1992 · 207 citations
Pamela Zave, Michael Jackson · ACM Transactions on Software Engineering and Methodology · 1993 · 206 citations · Full text
ACSL: ANSI/ISO C Specification Language
Patrick Baudin, Jean-Christophe Filliâtre, Claude Marché et al. · 2008 · 153 citations
1–5 of 97
Authors
197
- SQ
3
h-index
- JBJonas Braband Jensen
Microsoft Research (United Kingdom), United Kingdom
3 publications · 95 citations
3
h-index
- AV
3
h-index
- FD
3
h-index
- LL
2
h-index
1–5 of 197
Institutions
91
IT University of Copenhagen
Copenhagen, Denmark
4 h-index
4 publications
216 citations
University of Manchester
Manchester, United Kingdom
3 h-index
6 publications
99 citations
National University of Singapore
Singapore, Singapore
3 h-index
7 publications
333 citations
SRI International
Menlo Park, United States
2 h-index
4 publications
449 citations
Michigan State University
East Lansing, United States
2 h-index
4 publications
100 citations
University of Minnesota
Minneapolis, United States
2 h-index
2 publications
43 citations
Teesside University
Middlesbrough, United Kingdom
2 h-index
2 publications
51 citations
University of Genoa
Genoa, Italy
2 h-index
4 publications
108 citations
1–8 of 91
Venues
- Theoretical Computer Science
7 publications · 331 citations
7
h-index
- IEEE Transactions on Software Engineering
TSE · 6 publications · 364 citations
6
h-index
- Electronic Notes in Theoretical Computer Science
ENTCS · 4 publications · 54 citations
4
h-index
- ACM SIGPLAN Notices
3 publications · 49 citations
3
h-index
- Information and Computation
3 publications · 72 citations
3
h-index
1–5