Verification Methodology

Verification Methodology is a systematic framework or approach within structural validation that specifies the principles, procedures, and criteria used to assess the correctness, consistency, and reliability of a model or system relative to its intended design and assumptions.

243

Publications

7.6K

Citations

822

Authors

298

Institutions

Publications per year

2017–2026

Parents

Structural Validation

Publications

243

Menatal addition: A test of three verification models

Mark H. Ashcraft, Edmund H. Stazyk · Memory & Cognition · 1981 · 224 citations · Full text

Language Studies, Orthodontics, Phonetics +2

Testing with the YOHO CD-ROM voice verification corpus

Joseph P. Campbell · 2002 · 210 citations

Language Studies, Computer Science, Linguistics +16

Software model checking: extracting verification models from source code†

Gerard J. Holzmann, Margaret Smith · Software Testing Verification and Reliability · 2001 · 167 citations

Computing, Computer Engineering, Computer Science +17

Using SAT for combinational equivalence checking

E. Goldberg, Mukul R. Prasad, Robert K. Brayton · 2001 · 135 citations

Computing, Computer Engineering, Computer Science +9

Stable and efficient reduction of substrate model networks using congruence transforms

K.J. Kerns, Ivan L. Wemple, Andrew T. Yang · 1995 · 125 citations

Engineering, Computer Engineering, Electrical Engineering +17

1–5 of 243

Authors

822

SM
Sharad Malik
Princeton University, United States
6 publications · 139 citations
6
h-index
RD
Rolf Drechsler
University of Bremen, Germany
5 publications · 161 citations
5
h-index
LH
Lars Hedrich
Goethe University Frankfurt, Germany
4 publications · 92 citations
4
h-index
RE
Randal E. Bryant
Carnegie Mellon University, United States
3 publications · 78 citations
3
h-index
ST
Sofiène Tahar
Concordia University, Canada
3 publications · 61 citations
3
h-index

1–5 of 822

Institutions

298

1–8 of 298

Venues

IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
7 publications · 229 citations
7
h-index
IBM Journal of Research and Development
2 publications · 69 citations
2
h-index
Research Showcase @ Carnegie Mellon University (Carnegie Mellon University)
Repository · 2 publications · 42 citations
2
h-index
ACM Transactions on Design Automation of Electronic Systems
TODAES · 2 publications · 54 citations
2
h-index
ACM SIGPLAN Notices
2 publications · 56 citations
2
h-index

1–5