Requirement Verification

Requirement Verification is the systematic process of evaluating whether a specified requirement is consistent, complete, unambiguous, and aligned with the intended system properties, ensuring its correctness prior to implementation.

113

Publications

4.1K

Citations

339

Authors

169

Institutions

Publications per year

2017–2026

18

Authors

339

  1. PF
    Peter Fritzson

    Linköping University, Sweden

    6 publications · 287 citations

    6

    h-index

  2. CH
    Constance Heitmeyer

    United States Naval Research Laboratory, United States

    4 publications · 817 citations

    4

    h-index

  3. WS
    Wladimir Schamai

    Linköping University, Sweden

    4 publications · 265 citations

    4

    h-index

  4. DA
    Daniel Aceituna

    North Dakota State University, United States

    3 publications · 65 citations

    3

    h-index

  5. LB
    Lena Buffoni

    Linköping University, Sweden

    3 publications · 225 citations

    3

    h-index

1–5 of 339

Venues

  1. NASA Technical Reports Server (NASA)

    Repository · 4 publications · 79 citations

    4

    h-index

  2. 2

    h-index

  3. Electronic Notes in Theoretical Computer Science

    ENTCS · 2 publications · 84 citations

    2

    h-index

  4. Linköping electronic conference proceedings

    Conference · 2 publications · 53 citations

    2

    h-index

  5. IEEE Transactions on Software Engineering

    TSE · 2 publications · 89 citations

    2

    h-index

1–5