Concepedia

Property Verification

Property Verification is a formal method of establishing the correctness of specific system attributes with respect to predefined specifications or constraints within a given model or implementation.

120

Publications

6.9K

Citations

363

Authors

190

Institutions

Publications per year

2017–2026

18

Parents

Publications

120

Patterns in property specifications for finite-state verification

Matthew B. Dwyer, George S. Avrunin, James C. Corbett · 1999 · 1.4K citations

, , +13

Property specification patterns for finite-state verification

Matthew B. Dwyer, George S. Avrunin, James C. Corbett · 1998 · 453 citations · Full text

, , +12

Security and privacy requirements analysis within a social setting

L. Liu, Eric Yu, John Mylopoulos · Journal of Lightwave Technology · 2004 · 393 citations

, , +17

Robust Boolean reasoning for equivalence checking and functional property verification

Andreas Kuehlmann, Viresh Paruthi, F. Krohm et al. · IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems · 2002 · 331 citations

, , +16

ROLE OF MENTAL IMAGERY IN A PROPERTY VERIFICATION TASK: FMRI EVIDENCE FOR PERCEPTUAL REPRESENTATIONS OF CONCEPTUAL KNOWLEDGE

Irene P. Kan, Lawrence W. Barsalou, Karen Olseth Solomon et al. · Cognitive Neuropsychology · 2003 · 252 citations

, , +17

1–5 of 120

Authors

363

  1. JC
    James C. Corbett

    University of Hawaii System, United States

    3 publications · 1.9K citations

    3

    h-index

  2. RZ
    René Zeelenberg

    Erasmus University Rotterdam, Netherlands

    3 publications · 169 citations

    3

    h-index

  3. GS
    George S. Avrunin

    University of Massachusetts Amherst, United States

    3 publications · 1.9K citations

    3

    h-index

  4. MB
    Matthew B. Dwyer

    University of Nebraska–Lincoln, United States

    3 publications · 1.9K citations

    3

    h-index

  5. DP
    Diane Pecher

    Erasmus University Rotterdam, Netherlands

    3 publications · 169 citations

    3

    h-index

1–5 of 363

Institutions

190

  1. Intel (United States)

    Santa Clara, United States

    4 h-index

    6 publications

    109 citations

  2. University College London

    London, United Kingdom

    4 h-index

    12 publications

    270 citations

  3. University of Oxford

    Oxford, United Kingdom

    4 h-index

    6 publications

    297 citations

  4. University of California San Diego

    San Diego, United States

    3 h-index

    3 publications

    160 citations

  5. University of Massachusetts Amherst

    Amherst Center, United States

    3 h-index

    3 publications

    1.9K citations

  6. King's College London

    London, United Kingdom

    3 h-index

    4 publications

    83 citations

  7. Politecnico di Milano

    Milan, Italy

    3 h-index

    6 publications

    226 citations

  8. Kansas State University

    Manhattan, United States

    3 h-index

    3 publications

    1.9K citations

1–8 of 190

Venues

  1. Electronic Notes in Theoretical Computer Science

    ENTCS · 5 publications · 136 citations

    5

    h-index

  2. HAL (Le Centre pour la Communication Scientifique Directe)

    Repository · 3 publications · 50 citations

    3

    h-index

  3. IEEE Design & Test of Computers

    2 publications · 42 citations

    2

    h-index

  4. Memory & Cognition

    2 publications · 248 citations

    2

    h-index

  5. Frontiers in Psychology

    2 publications · 67 citations

    2

    h-index

1–5