Assertion Debugging is a formal verification technique that systematically identifies and rectifies discrepancies between intended and actual design behaviors by analyzing the execution outcomes of assertions embedded within a hardware or software system.
16
Publications
477
Citations
49
Authors
13
Institutions
Publications per year
2017–2026
2
Parents
Publications
16
Gary T. Leavens, Clyde Ruby, K. Rustan M. Leino et al. · 2000 · 78 citations · Full text
Assertion-based repair of complex data structures
Bassem Elkarablieh, Iván García, Yuk Lai Suen et al. · 2007 · 60 citations · Full text
Efficient monitoring of database assertions
Michael Hammer, Sunil K. Sarin · 1978 · 57 citations · Full text
1–5 of 16
Authors
49
- SK
2
h-index
- BE
1
h-index
- AF
1
h-index
- YS
1
h-index
- BJ
1
h-index
1–5 of 49
Institutions
13
McGill University
Montreal, Canada
2 h-index
6 publications
255 citations
Microsoft (United States)
Redmond, United States
1 h-index
2 publications
34 citations
University of Nottingham
Nottingham, United Kingdom
1 h-index
2 publications
50 citations
Iowa State University
Ames, United States
1 h-index
2 publications
156 citations
The University of Texas at Austin
Austin, United States
1 h-index
4 publications
240 citations
Radboud University Nijmegen
Nijmegen, The Netherlands
1 h-index
2 publications
156 citations
University of California, Berkeley
Berkeley, United States
1 h-index
5 publications
120 citations
Massachusetts Institute of Technology
Cambridge, United States
1 h-index
2 publications
114 citations
1–8 of 13
Venues
- IET Computers & Digital Techniques
1 publications · 30 citations
1
h-index
- Proceedings, IEEE International Conference on Computer Design/Proceedings - IEEE International Conference on Computer Design
Conference · 1 publications · 55 citations
1
h-index
- Proceedings of the ACM on Programming Languages
PACMPL · 1 publications · 25 citations
1
h-index
1–3