Concepedia

Formal Property Specification

Formal Property Specification is a formal expression within assertion-based verification that precisely defines the intended behavior of a system using mathematical logic, thereby enabling rigorous verification through model checking or theorem proving.

137

Publications

5.7K

Citations

331

Authors

177

Institutions

Publications per year

2017–2026

19

Parents

Publications

137

Property specification patterns for finite-state verification

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

, , +12

Perceptual simulation in property verification

Karen Olseth Solomon, Lawrence W. Barsalou · Memory & Cognition · 2004 · 233 citations · Full text

, , +6

Consistency maintenance in real-time collaborative graphics editing systems

Chengzheng Sun, David Chen · ACM Transactions on Computer-Human Interaction · 2002 · 214 citations

, , +16

Toward a formal language for unsharp properties

Roberto Giuntini, Heinz Greuling · Foundations of Physics · 1989 · 200 citations

, , +9

MAPE-K Formal Templates to Rigorously Design Behaviors for Self-Adaptive Systems

Dídac Gil de la Iglesia, Danny Weyns · ACM Transactions on Autonomous and Adaptive Systems · 2015 · 169 citations

, , +14

1–5 of 137

Authors

331

  1. LG
    Lars Grunske

    Swinburne University of Technology, Australia

    4 publications · 188 citations

    4

    h-index

  2. AM
    Alberto Montresor

    University of Trento, Italy

    3 publications · 121 citations

    3

    h-index

  3. OM
    Oscar Mondragón

    The University of Texas at El Paso, United States

    3 publications · 80 citations

    3

    h-index

  4. ÖB
    Özalp Babaoğlu

    University of Bologna, Italy

    3 publications · 121 citations

    3

    h-index

  5. AQ
    Ann Q. Gates

    The University of Texas at El Paso, United States

    3 publications · 80 citations

    3

    h-index

1–5 of 331

Institutions

177

  1. University of Oxford

    Oxford, United Kingdom

    4 h-index

    6 publications

    208 citations

  2. Vrije Universiteit Amsterdam

    Amsterdam, The Netherlands

    4 h-index

    14 publications

    1.1K citations

  3. Centre National de la Recherche Scientifique

    Paris, France

    3 h-index

    11 publications

    324 citations

  4. Concordia University

    Montreal, Canada

    3 h-index

    7 publications

    109 citations

  5. Radboud University Nijmegen

    Nijmegen, The Netherlands

    3 h-index

    5 publications

    138 citations

  6. Swinburne University of Technology

    Melbourne, Australia

    3 h-index

    5 publications

    309 citations

  7. University of Massachusetts Amherst

    Amherst Center, United States

    3 h-index

    9 publications

    1.2K citations

  8. University of Bologna

    Bologna, Italy

    3 h-index

    7 publications

    339 citations

1–8 of 177

Venues

  1. Electronic Notes in Theoretical Computer Science

    ENTCS · 5 publications · 135 citations

    5

    h-index

  2. IEEE Transactions on Software Engineering

    TSE · 5 publications · 284 citations

    5

    h-index

  3. Science of Computer Programming

    3 publications · 96 citations

    3

    h-index

  4. International Journal of Advanced Robotic Systems

    ARS · 2 publications · 25 citations

    2

    h-index

  5. Information and Software Technology

    2 publications · 43 citations

    2

    h-index

1–5