Formal Debugging is a systematic methodology within embedded debugging that employs mathematically rigorous techniques to verify and correct software or hardware behavior against formally specified properties, distinguishing it from informal or ad hoc debugging approaches by its reliance on precise logical models and proof-based analysis.
90
Publications
3.9K
Citations
190
Authors
92
Institutions
Publications per year
2017–2026
5
Parents
Publications
90
Debugging Incoherent Terminologies
Stefan Schlobach, Zhisheng Huang, Ronald Cornet et al. · Journal of Automated Reasoning · 2007 · 206 citations · Full text
Abstract debugging of higher-order imperative languages
François Bourdoncle · 1993 · 147 citations
1–5 of 90
Authors
190
- RC
4
h-index
- PF
4
h-index
- NS
3
h-index
- AS
3
h-index
- GF
3
h-index
1–5 of 190
Institutions
92
Universidad Complutense de Madrid
Madrid, Spain
4 h-index
12 publications
270 citations
The University of Texas at Austin
Austin, United States
4 h-index
7 publications
361 citations
University of Bremen
Bremen, Germany
4 h-index
10 publications
237 citations
Graz University of Technology
Graz, Austria
3 h-index
8 publications
468 citations
Linköping University
Linköping, Sweden
3 h-index
7 publications
239 citations
Arizona State University
Tempe, United States
3 h-index
7 publications
161 citations
Institut national de recherche en sciences et technologies du numérique
Le Chesnay-Rocquencourt, France
3 h-index
6 publications
208 citations
University of Toronto
Toronto, Canada
2 h-index
6 publications
296 citations
1–8 of 92
Venues
- Electronic Notes in Theoretical Computer Science
ENTCS · 5 publications · 89 citations
5
h-index
- IEEE Transactions on Software Engineering
TSE · 3 publications · 159 citations
3
h-index
- International Journal on Software Tools for Technology Transfer
3 publications · 103 citations
3
h-index
- ACM SIGPLAN Notices
3 publications · 502 citations
3
h-index
- Journal of Systems and Software
JSS · 2 publications · 68 citations
2
h-index
1–5