Assertion Refinement is a formal method in assertion-based verification that precisely enhances or modifies initial assertions to better capture system properties, thereby improving verification accuracy and coverage while preserving logical consistency with the original specification.
6
Publications
137
Citations
12
Authors
6
Institutions
Publications per year
2017–2026
1
Parents
Publications
6
Lazy counterfactual symbolic execution
William T. Hallahan, Anton Xue, Maxwell Bland et al. · 2019 · 18 citations · Full text
1–5 of 6
Authors
12
- NB
2
h-index
- GP
2
h-index
- RW
1
h-index
- AX
1
h-index
- RJ
1
h-index
1–5 of 12
Institutions
6
University of Verona
Verona, Italy
2 h-index
6 publications
150 citations
Siemens (Hungary)
Budapest, Hungary
1 h-index
1 publications
36 citations
University of California San Diego
San Diego, United States
1 h-index
2 publications
36 citations
Mentor Technologies
Tulsa, United States
1 h-index
1 publications
36 citations
Yale University
New Haven, United States
1 h-index
3 publications
54 citations
Vanderbilt University
Nashville, United States
1 h-index
1 publications
16 citations
1–6 of 6
Venues
- Decision Support Systems
1 publications · 16 citations
1
h-index
- Conference on Automated Deduction
Conference · 1 publications · 17 citations
1
h-index
- Design, Automation, and Test in Europe
Conference · 1 publications · 23 citations
1
h-index
- Foundations and Trends® in Electronic Design Automation
1 publications · 36 citations
1
h-index
1–4