Concepedia

State-based Specification

State-Based Specification is a formal method in Refinement Calculus that specifies system behavior by defining allowable state transitions and invariants within a state space, distinguished by its reliance on explicit state predicates to constrain system evolution.

170

Publications

9.8K

Citations

419

Authors

186

Institutions

Publications per year

2017–2026

8

Parents

Publications

170

Patterns in property specifications for finite-state verification

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

, , +13

The existence of refinement mappings

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

, , +15

DISCUSSION PAPER: THE QUALITATIVE ANALYSIS OF PARTIALLY SPECIFIED SYSTEMS

Richard Levins · Annals of the New York Academy of Sciences · 1974 · 419 citations

, , +11

Structured operational semantics and bisimulation as a congruence

Jan Friso Groote, Frits Vaandrager · Information and Computation · 1992 · 332 citations

, , +17

Model checking large software specifications

Richard Anderson, Paul Beame, S.M. Burns et al. · 1996 · 309 citations · Full text

, , +16

1–5 of 170

Authors

419

  1. MP
    Mats P. E. Heimdahl

    University of Minnesota, United States

    6 publications · 385 citations

    6

    h-index

  2. JF
    Jan Friso Groote

    Eindhoven University of Technology, Netherlands

    5 publications · 413 citations

    5

    h-index

  3. CP
    Carlos Puchol

    The University of Texas at Austin, United States

    4 publications · 152 citations

    4

    h-index

  4. LJ
    Lalita Jategaonkar Jagadeesan

    Nokia (United States), United States

    4 publications · 152 citations

    4

    h-index

  5. JR
    J.D. Reese

    University of Washington, United States

    3 publications · 531 citations

    3

    h-index

1–5 of 419

Institutions

186

  1. The University of Texas at Austin

    Austin, United States

    6 h-index

    6 publications

    200 citations

  2. University of Minnesota

    Minneapolis, United States

    5 h-index

    9 publications

    449 citations

  3. University of York

    York, United Kingdom

    4 h-index

    12 publications

    262 citations

  4. University of Washington

    Seattle, United States

    4 h-index

    19 publications

    3.4K citations

  5. Weizmann Institute of Science

    Rehovot, Israel

    3 h-index

    4 publications

    434 citations

  6. Université Paris Cité

    Paris, France

    3 h-index

    3 publications

    45 citations

  7. University of Kent

    Canterbury, United Kingdom

    3 h-index

    5 publications

    134 citations

  8. Technical University of Munich

    Munich, Germany

    3 h-index

    4 publications

    73 citations

1–8 of 186

Venues

  1. IEEE Transactions on Software Engineering

    TSE · 9 publications · 857 citations

    9

    h-index

  2. Electronic Notes in Theoretical Computer Science

    ENTCS · 7 publications · 128 citations

    7

    h-index

  3. ACM SIGSOFT Software Engineering Notes

    SEN · 4 publications · 65 citations

    4

    h-index

  4. Information and Software Technology

    4 publications · 161 citations

    4

    h-index

  5. ACM Transactions on Software Engineering and Methodology

    TOSEM · 4 publications · 183 citations

    4

    h-index

1–5