Concepedia

Refinement Checking

Refinement Checking is a formal verification method that establishes whether one system model correctly implements another by verifying that all behaviors of the former are permitted by the latter, thereby ensuring stepwise correct development in system design.

111

Publications

3.9K

Citations

238

Authors

131

Institutions

Publications per year

2017–2026

10

Parents

Publications

111

The existence of refinement mappings

Martı́n Abadi, Leslie Lamport · Theoretical Computer Science · 1991 · 734 citations

, , +15

Program synthesis from polymorphic refinement types

Nadia Polikarpova, Ivan Kuraj, Armando Solar-Lezama · 2016 · 194 citations · Full text

, , +14

The existence of refinement mappings

M. Abadi, Leslie Lamport · 2003 · 189 citations

, , +15

On correct refinement of programs

R. J. R. Back · Journal of Computer and System Sciences · 1981 · 140 citations

, , +12

Prespecification in data refinement

C. A. R. Hoare, He Jifeng, J. W. Sanders · Information Processing Letters · 1987 · 119 citations

, , +11

1–5 of 111

Authors

238

  1. AC
    Ana Cavalcanti

    University of York, United Kingdom

    6 publications · 106 citations

    6

    h-index

  2. RK
    Rajesh K. Gupta

    University of California San Diego, United States

    4 publications · 73 citations

    4

    h-index

  3. JW
    Jim Woodcock

    University of York, United Kingdom

    4 publications · 59 citations

    4

    h-index

  4. SK
    Sudarshan K. Srinivasan

    North Dakota State University, United States

    4 publications · 108 citations

    4

    h-index

  5. PM
    Panagiotis Manolios

    Georgia Institute of Technology, United States

    4 publications · 108 citations

    4

    h-index

1–5 of 238

Institutions

131

  1. University of California, Berkeley

    Berkeley, United States

    6 h-index

    13 publications

    279 citations

  2. University of Oxford

    Oxford, United Kingdom

    6 h-index

    13 publications

    618 citations

  3. Microsoft (United States)

    Redmond, United States

    6 h-index

    7 publications

    192 citations

  4. University of York

    York, United Kingdom

    5 h-index

    8 publications

    188 citations

  5. University of California San Diego

    San Diego, United States

    5 h-index

    11 publications

    206 citations

  6. IMDEA Software Institute

    Pozuelo de Alarcón, Spain

    4 h-index

    4 publications

    109 citations

  7. Åbo Akademi University

    Turku, Finland

    3 h-index

    7 publications

    181 citations

  8. The University of Queensland

    Brisbane, Australia

    3 h-index

    10 publications

    172 citations

1–8 of 131

Venues

  1. Science of Computer Programming

    11 publications · 302 citations

    10

    h-index

  2. Electronic Notes in Theoretical Computer Science

    ENTCS · 10 publications · 167 citations

    10

    h-index

  3. Formal Aspects of Computing

    7 publications · 183 citations

    7

    h-index

  4. Theoretical Computer Science

    4 publications · 940 citations

    4

    h-index

  5. Proceedings of the ACM on Programming Languages

    PACMPL · 3 publications · 71 citations

    3

    h-index

1–5