Concepedia

Property Decomposition

Property Decomposition is a formal method in assertion-based verification that breaks down complex temporal logic properties into simpler, semantically equivalent sub-properties to facilitate more efficient and scalable verification.

26

Publications

991

Citations

71

Authors

47

Institutions

Publications per year

2017–2026

5

Parents

Publications

26

Breaking up is hard to do

Patrick Colp, Mihir Nanavati, Jun Zhu et al. · 2011 · 139 citations

, , +11

Breaking up is hard to do

Jamieson M. Cobleigh, George S. Avrunin, Lori A. Clarke · ACM Transactions on Software Engineering and Methodology · 2008 · 97 citations

, , +11

A Property-Based Proof System for Contract-Based Design

Alessandro Cimatti, Stefano Tonetta · 2012 · 75 citations

, , +17

Breaking Up Is Hard to Do

Renée Spencer, Antoinette Basualdo‐Delmonico, Jill Walsh et al. · Youth & Society · 2014 · 72 citations

, , +11

Incremental quantitative verification for Markov decision processes

Marta Kwiatkowska, David Parker, Hongyang Qu · 2011 · 68 citations · Full text

, , +14

1–5 of 26

Authors

71

  1. JM
    Jamieson M. Cobleigh

    University of Massachusetts Amherst, United States

    2 publications · 141 citations

    2

    h-index

  2. LA
    Lori A. Clarke

    University of Massachusetts Amherst, United States

    2 publications · 141 citations

    2

    h-index

  3. GS
    George S. Avrunin

    University of Massachusetts Amherst, United States

    2 publications · 141 citations

    2

    h-index

  4. PM
    Prabhat Mishra

    University of Florida, United States

    2 publications · 52 citations

    2

    h-index

  5. FB
    Fred B. Schneider

    Cornell University, United States

    1 publications · 13 citations

    1

    h-index

1–5 of 71

Institutions

47

  1. University of Florida

    Gainesville, United States

    2 h-index

    3 publications

    87 citations

  2. Institute of Software

    Beijing, China

    2 h-index

    2 publications

    31 citations

  3. University of Massachusetts Amherst

    Amherst Center, United States

    2 h-index

    6 publications

    423 citations

  4. University of Wrocław

    Wroclaw, Poland

    1 h-index

    1 publications

    16 citations

  5. Durham University

    Durham, United Kingdom

    1 h-index

    1 publications

    26 citations

  6. Stellenbosch University

    Stellenbosch, South Africa

    1 h-index

    1 publications

    26 citations

  7. Harbin Institute of Technology

    Harbin, China

    1 h-index

    1 publications

    14 citations

  8. Xidian University

    Xi'an, China

    1 h-index

    1 publications

    32 citations

1–8 of 47

Venues

  1. Youth & Society

    1 publications · 72 citations

    1

    h-index

  2. Logic Journal of IGPL

    1 publications · 13 citations

    1

    h-index

  3. IEEE Transactions on Automatic Control

    1 publications · 53 citations

    1

    h-index

  4. The Journal of Physical Chemistry Letters

    1 publications · 58 citations

    1

    h-index

  5. Integrated Formal Methods

    Conference · 1 publications · 12 citations

    1

    h-index

1–5