Assertion Semantics is a formal framework that specifies the precise meaning and behavioral interpretation of assertions within a verification system, distinguishing it from syntactic or structural assertion representations by defining the logical conditions under which an assertion holds true during system execution.
99
Publications
5.8K
Citations
178
Authors
100
Institutions
Publications per year
2017–2026
13
Parents
Publications
99
Gary T. Leavens, Albert L. Baker, Clyde Ruby · ACM SIGSOFT Software Engineering Notes · 2006 · 787 citations
Conditional Assertions and “Biscuit” Conditionals
Keith DeRose, Richard E. Grandy · Noûs · 1999 · 233 citations
Propositions, Warranted Assertibility, and Truth
John Dewey · The Journal of Philosophy · 1941 · 212 citations
Humanities, Philosophy, Logic +9
1–5 of 99
Authors
178
- IG
3
h-index
- JY
3
h-index
- PC
3
h-index
- RP
2
h-index
- MV
2
h-index
1–5 of 178
Institutions
100
Rutgers, The State University of New Jersey
New Brunswick, United States
4 h-index
6 publications
382 citations
Concordia University
Montreal, Canada
4 h-index
5 publications
93 citations
Princeton University
Princeton, United States
3 h-index
3 publications
197 citations
The University of Texas at Austin
Austin, United States
3 h-index
3 publications
152 citations
University of California, Irvine
Irvine, United States
3 h-index
4 publications
79 citations
IBM Research - Austin
Austin, United States
2 h-index
2 publications
139 citations
Iowa State University
Ames, United States
2 h-index
5 publications
2.1K citations
Monash University
Melbourne, Australia
2 h-index
6 publications
240 citations
1–8 of 100
Venues
- Linguistics and Philosophy
4 publications · 366 citations
4
h-index
- Philosophical Topics
PT · 3 publications · 45 citations
3
h-index
- Noûs
2 publications · 337 citations
2
h-index
- Behavior Therapy
2 publications · 75 citations
2
h-index
- SSRN Electronic Journal
Repository · 2 publications · 36 citations
2
h-index
1–5