Concepedia

Verification Specification

Verification Specification is a formal academic construct that belongs to the class of design specification artifacts, distinguished by its role in defining the criteria, methods, and processes used to evaluate whether a system or component conforms to its specified requirements.

38

Publications

1.3K

Citations

105

Authors

57

Institutions

Publications per year

2017–2026

4

Parents

Publications

38

An overview of JML tools and applications1 1www.jmlspecs.org

Lilian Burdy, Yoonsik Cheon, David R. Cok et al. · Electronic Notes in Theoretical Computer Science · 2003 · 205 citations · Full text

, , +15

Specification and verification of data-driven Web applications

Alin Deutsch, Liying Sui, Victor Vianu · Journal of Computer and System Sciences · 2006 · 103 citations

, , +12

An Overview of AFFIRM: A Specification and Verification System.

Susan L. Gerhart, David R. Musser, D.H. Thompson et al. · IFIP Congress · 1980 · 83 citations

, , +8

An overview of CAFE specification environment-an algebraic approach for creating, verifying, and maintaining formal specifications over networks

Kokichi Futatsugi, Ataru T. Nakagawa · 2002 · 79 citations

, , +14

Formalizing a subset of ERTMS/ETCS specifications for verification purposes

Mohamed Ghazel · Transportation Research Part C Emerging Technologies · 2014 · 64 citations

, , +14

1–5 of 38

Authors

105

  1. MD
    Michael D. Ernst

    University of Washington, United States

    4 publications · 253 citations

    4

    h-index

  2. RD
    Rolf Drechsler

    University of Bremen, Germany

    2 publications · 45 citations

    2

    h-index

  3. TW
    Todd W. Schiller

    University of Washington, United States

    2 publications · 33 citations

    2

    h-index

  4. MK
    Michael Kirsten

    Karlsruhe Institute of Technology, Germany

    1 publications · 10 citations

    1

    h-index

  5. FP
    F. Prunet

    Laboratoire d'Informatique, de Robotique et de Microélectronique de Montpellier, France

    1 publications · 22 citations

    1

    h-index

1–5 of 105

Institutions

57

  1. University of Washington

    Seattle, United States

    3 h-index

    4 publications

    63 citations

  2. University of Freiburg

    Freiburg im Breisgau, Germany

    3 h-index

    4 publications

    121 citations

  3. Technical University of Munich

    Munich, Germany

    2 h-index

    4 publications

    45 citations

  4. Siemens (Germany)

    Munich, Germany

    2 h-index

    2 publications

    45 citations

  5. Technische Universität Darmstadt

    Darmstadt, Germany

    2 h-index

    2 publications

    45 citations

  6. University of Utah

    Salt Lake City, United States

    2 h-index

    3 publications

    69 citations

  7. LG (South Korea)

    Seoul, South Korea

    1 h-index

    1 publications

    14 citations

  8. Iowa State University

    Ames, United States

    1 h-index

    2 publications

    410 citations

1–8 of 57

Venues

  1. Electronic Notes in Theoretical Computer Science

    ENTCS · 2 publications · 220 citations

    2

    h-index

  2. Computers in Industry

    1 publications · 22 citations

    1

    h-index

  3. ACM SIGPLAN Notices

    1 publications · 10 citations

    1

    h-index

  4. Kent Academic Repository (University of Kent)

    Repository · 1 publications · 31 citations

    1

    h-index

  5. ACM Transactions on Design Automation of Electronic Systems

    TODAES · 1 publications · 27 citations

    1

    h-index

1–5