Concepedia

Specification Checking

Specification Checking is the formal process of verifying that a system's implementation conforms to its intended requirements or behavioral constraints, distinguished from other verification methods by its focus on ensuring compliance with explicitly defined specifications.

98

Publications

3.8K

Citations

235

Authors

113

Institutions

Publications per year

2017–2026

4

Parents

Publications

98

Testing Programs with the Aid of a Compiler

Richard Hamlet · IEEE Transactions on Software Engineering · 1977 · 554 citations

, , +15

Specifications in an arbitrary institution

Donald Sannella, Andrzej Tarlecki · Information and Computation · 1988 · 226 citations

, , +10

Jass — Java with Assertions1 1This work was partially funded by the German Research Council (DFG) under grant OL 98/3-1.

Detlef Bartetzko, Clemens Fischer, Michael Möller et al. · Electronic Notes in Theoretical Computer Science · 2001 · 187 citations · Full text

, , +15

A Limited Information Specification Test

David E. Spencer, Kenneth N. Berk · Econometrica · 1981 · 149 citations

, , +9

The specification of computer programs

Microprocessors and Microsystems · 1987 · 134 citations

, , +11

1–5 of 98

Authors

235

  1. KN
    Kenneth N. Berk

    Illinois State University, United States

    2 publications · 161 citations

    2

    h-index

  2. SE
    Steve Easterbrook

    University of Toronto, Canada

    2 publications · 74 citations

    2

    h-index

  3. RW
    Robert Wille

    Johannes Kepler University of Linz, Austria

    2 publications · 22 citations

    2

    h-index

  4. JR
    John R. Callahan

    Carleton University, Canada

    2 publications · 74 citations

    2

    h-index

  5. MD
    Michael D. Ernst

    University of Washington, United States

    2 publications · 33 citations

    2

    h-index

1–5 of 235

Institutions

113

  1. Massachusetts Institute of Technology

    Cambridge, United States

    3 h-index

    6 publications

    595 citations

  2. University of Bremen

    Bremen, Germany

    3 h-index

    10 publications

    120 citations

  3. University of Illinois Urbana-Champaign

    Urbana, United States

    2 h-index

    3 publications

    82 citations

  4. Stanford University

    Stanford, United States

    2 h-index

    4 publications

    69 citations

  5. Universitat Politècnica de València

    Valencia, Spain

    2 h-index

    4 publications

    76 citations

  6. AT&T (United States)

    Bedminster, United States

    2 h-index

    8 publications

    378 citations

  7. University of Kent

    Canterbury, United Kingdom

    2 h-index

    6 publications

    150 citations

  8. Aalborg University

    Aalborg, Denmark

    2 h-index

    2 publications

    30 citations

1–8 of 113

Venues

  1. IEEE Transactions on Software Engineering

    TSE · 4 publications · 809 citations

    4

    h-index

  2. Journal of Systems and Software

    JSS · 4 publications · 96 citations

    4

    h-index

  3. Electronic Notes in Theoretical Computer Science

    ENTCS · 4 publications · 300 citations

    4

    h-index

  4. Science of Computer Programming

    3 publications · 69 citations

    3

    h-index

  5. 2

    h-index

1–5