Concepedia

Constraint Verification

Constraint Verification is a formal method within the field of system or software verification that ensures a given system or model adheres to specified constraints by systematically checking whether the constraints are satisfied under all valid executions or states, thereby distinguishing it from general verification approaches through its focused validation of declarative or structural limitations.

71

Publications

2.3K

Citations

197

Authors

89

Institutions

Publications per year

2017–2026

11

Parents

Publications

71

Constraint checking with partial information

Ashish Gupta, Yehoshua Sagiv, Jeffrey D. Ullman et al. · 1994 · 133 citations · Full text

, , +16

Integration and verification of semantic constraints in adaptive process management systems

Linh Thao Ly, Stefanie Rinderle, Peter Dadam · Data & Knowledge Engineering · 2007 · 133 citations

, , +14

Smart Charging Schedules for Highway Travel With Electric Vehicles

Victor del Razo, Hans‐Arno Jacobsen · IEEE Transactions on Transportation Electrification · 2016 · 123 citations

, , +17

Local verification of global integrity constraints in distributed databases

Ashish Gupta, Jennifer Widom · 1993 · 94 citations · Full text

, , +15

Constraint-Based Random Stimuli Generation for Hardware Verification

Y. Naveh, Michal Rimon, Itai Jaeger et al. · AI Magazine · 2007 · 85 citations

, , +17

1–5 of 71

Authors

197

  1. JW
    Jennifer Widom

    Stanford University, United States

    3 publications · 243 citations

    3

    h-index

  2. AG
    Ashish Gupta

    Stanford University, United States

    3 publications · 243 citations

    3

    h-index

  3. FB
    Felice Balarin

    Cadence Design Systems (United States), United States

    2 publications · 34 citations

    2

    h-index

  4. BH
    Bin He

    Shanghai University, China

    2 publications · 65 citations

    2

    h-index

  5. YN
    Y. Naveh

    Stony Brook University, United States

    2 publications · 136 citations

    2

    h-index

1–5 of 197

Institutions

89

  1. Centre National de la Recherche Scientifique

    Paris, France

    7 h-index

    17 publications

    362 citations

  2. Stanford University

    Stanford, United States

    4 h-index

    7 publications

    664 citations

  3. ETH Zurich

    Zurich, Switzerland

    2 h-index

    4 publications

    161 citations

  4. Lawrence Berkeley National Laboratory

    Berkeley, United States

    2 h-index

    4 publications

    68 citations

  5. Roskilde University

    Roskilde, Denmark

    2 h-index

    4 publications

    52 citations

  6. University of California, Riverside

    Riverside, United States

    2 h-index

    4 publications

    68 citations

  7. Institut national de recherche en sciences et technologies du numérique

    Le Chesnay-Rocquencourt, France

    2 h-index

    3 publications

    71 citations

  8. Motorola (United States)

    Schaumburg, United States

    2 h-index

    2 publications

    49 citations

1–8 of 89

Venues

  1. HAL (Le Centre pour la Communication Scientifique Directe)

    Repository · 3 publications · 41 citations

    3

    h-index

  2. arXiv (Cornell University)

    Repository · 2 publications · 26 citations

    2

    h-index

  3. Lecture notes in computer science

    LNCS · Book series · 2 publications · 72 citations

    2

    h-index

  4. Theoretical Computer Science

    2 publications · 29 citations

    2

    h-index

  5. Computer-Aided Design

    2 publications · 85 citations

    2

    h-index

1–5