Concepedia

Checking Mechanisms

"Checking Mechanism" is a formal method within the domain of testbench design that systematically verifies the correctness of a system under test by evaluating its outputs against predefined behavioral or functional specifications.

16

Publications

964

Citations

37

Authors

21

Institutions

Publications per year

2017–2026

1

Parents

Publications

16

Validating SAT Solvers Using an Independent Resolution-Based Checker: Practical Implementations and Other Applications

Lintao Zhang, Sharad Malik · 2003 · 271 citations

, , +9

Hidden object detection: security applications of terahertz technology

W. R. Tribe, David Newnham, Philip F. Taday et al. · Proceedings of SPIE, the International Society for Optical Engineering/Proceedings of SPIE · 2004 · 185 citations

, , +16

Elements of style: analyzing a software design feature with a counterexample detector

Darren L. Jackson, Craig A. Damon · IEEE Transactions on Software Engineering · 1996 · 108 citations

, , +9

Weigh-in-motion for Direct Enforcement of Overloaded Commercial Vehicles

Bernard Jacob, Louis-Marie Cottineau · Transportation research procedia · 2016 · 80 citations · Full text

, , +14

Validating SAT solvers using an independent resolution-based checker: practical implementations and other applications

Lintao Zhang, Sharad Malik · 2003 Design, Automation and Test in Europe Conference and Exhibition · 2003 · 79 citations

, , +9

1–5 of 16

Authors

37

  1. LZ
    Lintao Zhang

    Microsoft Research Asia (China), China

    2 publications · 350 citations

    2

    h-index

  2. SM
    Sharad Malik

    Princeton University, United States

    2 publications · 350 citations

    2

    h-index

  3. WR
    W. R. Tribe

    TeraView (United Kingdom), United Kingdom

    1 publications · 185 citations

    1

    h-index

  4. DD
    Dragan Denić

    University of Nis, Serbia

    1 publications · 12 citations

    1

    h-index

  5. AR
    Abhishek Rhisheekesan

    Arizona State University, United States

    1 publications · 34 citations

    1

    h-index

1–5 of 37

Institutions

21

  1. Princeton University

    Princeton, United States

    2 h-index

    4 publications

    700 citations

  2. Kuwait University

    Kuwait City, Kuwait

    1 h-index

    1 publications

    10 citations

  3. University of Freiburg

    Freiburg im Breisgau, Germany

    1 h-index

    3 publications

    36 citations

  4. NationsUniversity

    New Orleans, United States

    1 h-index

    2 publications

    36 citations

  5. University of Bradford

    Bradford, United Kingdom

    1 h-index

    1 publications

    58 citations

  6. NewSchool of Architecture and Design

    San Diego, United States

    1 h-index

    1 publications

    10 citations

  7. Monash University

    Melbourne, Australia

    1 h-index

    1 publications

    14 citations

  8. University of Nis

    Niš, Serbia

    1 h-index

    2 publications

    24 citations

1–8 of 21

Venues

  1. 1

    h-index

  2. Civil Engineering and Architecture

    1 publications · 10 citations

    1

    h-index

  3. OPUS (Augsburg University)

    Repository · 1 publications · 12 citations

    1

    h-index

  4. IEEE/ACM Transactions on Networking

    TON · 1 publications · 14 citations

    1

    h-index

  5. 1

    h-index

1–5