Concepedia

Specification-based Verification

Specification-Based Verification is a systematic verification methodology that belongs to the class of functional verification techniques, distinguished by its reliance on formal or semi-formal specifications to derive test objectives, constraints, and oracles for validating design correctness.

238

Publications

10.7K

Citations

576

Authors

232

Institutions

Publications per year

2017–2026

17

Parents

Publications

238

1–5 of 238

Authors

576

  1. MD
    Michael D. Ernst

    University of Washington, United States

    4 publications · 253 citations

    4

    h-index

  2. WT
    Wei‐Tek Tsai

    Arizona State University, United States

    4 publications · 155 citations

    4

    h-index

  3. SE
    Steve Easterbrook

    University of Toronto, Canada

    3 publications · 91 citations

    3

    h-index

  4. GT
    Gary T. Leavens

    Iowa State University, United States

    3 publications · 1K citations

    3

    h-index

  5. SN
    Stephen N. Zilles

    Massachusetts Institute of Technology, United States

    3 publications · 651 citations

    3

    h-index

1–5 of 576

Institutions

232

  1. Massachusetts Institute of Technology

    Cambridge, United States

    8 h-index

    14 publications

    1.1K citations

  2. Institut national de recherche en sciences et technologies du numérique

    Le Chesnay-Rocquencourt, France

    6 h-index

    7 publications

    143 citations

  3. University of Illinois Urbana-Champaign

    Urbana, United States

    4 h-index

    7 publications

    916 citations

  4. Microsoft Research (United Kingdom)

    Cambridge, United Kingdom

    4 h-index

    4 publications

    214 citations

  5. University of Cambridge

    Cambridge, United Kingdom

    4 h-index

    4 publications

    182 citations

  6. Karlsruhe Institute of Technology

    Karlsruhe, Germany

    4 h-index

    9 publications

    173 citations

  7. Imperial College London

    London, United Kingdom

    4 h-index

    5 publications

    113 citations

  8. University of Washington

    Seattle, United States

    3 h-index

    4 publications

    63 citations

1–8 of 232

Venues

  1. IEEE Transactions on Software Engineering

    TSE · 15 publications · 981 citations

    13

    h-index

  2. Electronic Notes in Theoretical Computer Science

    ENTCS · 7 publications · 477 citations

    7

    h-index

  3. ACM SIGPLAN Notices

    6 publications · 481 citations

    6

    h-index

  4. Journal of Systems and Software

    JSS · 5 publications · 136 citations

    5

    h-index

  5. 5

    h-index

1–5