Concepedia

Assumption Mining

Assumption Mining is a formal method in assertion-based verification that identifies and extracts implicit system-level assumptions from hardware or software designs to refine verification scopes and enhance property generation.

5

Publications

224

Citations

15

Authors

7

Institutions

Publications per year

2017–2026

1

Parents

Publications

5

Mining assumptions for synthesis

Wenchao Li, Lili Dworkin, Sanjit A. Seshia · 2011 · 102 citations

, , +15

Automated assumption generation for compositional verification

Anubhav Gupta, Kenneth L. McMillan, Zhaohui Fu · Formal Methods in System Design · 2008 · 67 citations

, , +14

Directed Specifications and Assumption Mining for Monotone Dynamical Systems

Eric S. Kim, Murat Arcak, Sanjit A. Seshia · 2016 · 22 citations · Full text

, , +14

Mining assumptions for software components using machine learning

Khouloud Gaaloul, Claudio Menghi, Shiva Nejati et al. · 2020 · 17 citations · Full text

, , +17

Software Assumptions Lead to Preventable Errors

Andy Steingruebl, Gunnar Peterson · IEEE Security & Privacy · 2009 · 16 citations

, , +13

1–5 of 5

Authors

15

  1. SA
    Sanjit A. Seshia

    University of California, Berkeley, United States

    2 publications · 124 citations

    2

    h-index

  2. CM
    Claudio Menghi

    University of Luxembourg, Luxembourg

    1 publications · 17 citations

    1

    h-index

  3. GP
    Gunnar Peterson

    Activated Research Company (United States), United States

    1 publications · 16 citations

    1

    h-index

  4. DW
    David Wolfe

    Space Telescope Science Institute, United States

    1 publications · 17 citations

    1

    h-index

  5. LB
    Lionel Briand

    University of Luxembourg, Luxembourg

    1 publications · 17 citations

    1

    h-index

1–5 of 15

Institutions

7

  1. University of California, Berkeley

    Berkeley, United States

    2 h-index

    5 publications

    270 citations

  2. Cadence Design Systems (United States)

    San Jose, United States

    1 h-index

    3 publications

    201 citations

  3. University of Ottawa

    Ottawa, Canada

    1 h-index

    2 publications

    34 citations

  4. Berkeley College

    New York, United States

    1 h-index

    2 publications

    204 citations

  5. University of Luxembourg

    Luxembourg, Luxembourg

    1 h-index

    4 publications

    68 citations

  6. PayPal (United States)

    San Jose, United States

    1 h-index

    1 publications

    16 citations

  7. Haverford College

    Haverford, United States

    1 h-index

    1 publications

    102 citations

1–7 of 7

Venues

  1. IEEE Security & Privacy

    1 publications · 16 citations

    1

    h-index

  2. Formal Methods in System Design

    1 publications · 67 citations

    1

    h-index

1–2