Verification Failures is a methodological construct in the field of procedure verification that identifies and characterizes discrepancies between expected and actual outcomes when validating the correctness, reliability, or adherence of a procedural system to specified requirements or standards.
10
Publications
245
Citations
27
Authors
14
Institutions
Publications per year
2017–2026
1
Parents
Publications
10
1–5 of 10
Authors
27
- GX
2
h-index
- QY
2
h-index
- RD
2
h-index
- RJ
1
h-index
- KR
1
h-index
1–5 of 27
Institutions
14
The University of Texas of the Permian Basin
Odessa, United States
2 h-index
2 publications
68 citations
Arizona State University
Tempe, United States
2 h-index
2 publications
68 citations
Wuhan University
Wuhan, China
2 h-index
6 publications
240 citations
ScienceSouth
Florence, United States
1 h-index
1 publications
10 citations
University of Toronto
Toronto, Canada
1 h-index
2 publications
34 citations
University of South Florida
Tampa, United States
1 h-index
2 publications
20 citations
Vrije Universiteit Amsterdam
Amsterdam, The Netherlands
1 h-index
1 publications
18 citations
University of Missouri–St. Louis
St Louis, United States
1 h-index
1 publications
20 citations
1–8 of 14
Venues
- Proceedings of the International Conference on Automated Planning and Scheduling
1 publications · 24 citations
1
h-index
- Communications of the ACM
1 publications · 20 citations
1
h-index
- IEE Review
1 publications · 25 citations
1
h-index
- IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
1 publications · 10 citations
1
h-index
- Electronic Proceedings in Theoretical Computer Science
1 publications · 53 citations
1
h-index
1–5