Concepedia

Vacuity Checking

Vacuity Checking is a formal verification method that belongs to the class of assertion-based validation techniques, distinguished by its focus on detecting whether an assertion holds trivially due to insufficient or absent activating conditions in the system model, thereby revealing potential flaws in the specification or verification environment.

4

Publications

523

Citations

12

Authors

12

Institutions

Publications per year

2017–2026

0

Parents

Publications

4

Featured Transition Systems: Foundations for Verifying Variability-Intensive Systems and Their Application to LTL Model Checking

Maxime Cordy, Pierre‐Yves Schobbens, Patrick Heymans et al. · IEEE Transactions on Software Engineering · 2013 · 286 citations

, , +11

Vacuity detection in temporal model checking

Orna Kupferman, Moshe Y. Vardi · International Journal on Software Tools for Technology Transfer · 2003 · 175 citations

, , +13

Easier and More Informative Vacuity Checks

Hana Chockler, Ofer Strichman · 2007 · 31 citations

, , +9

Metric interval temporal logic specification elicitation and debugging

Adel Dokhanchi, Bardh Hoxha, Georgios Fainekos · 2015 · 31 citations

, , +16

1–4 of 4

Authors

12

  1. BH
    Bardh Hoxha

    Arizona State University, United States

    1 publications · 31 citations

    1

    h-index

  2. JR
    Jean-François Raskin

    Université Libre de Bruxelles, Belgium

    1 publications · 286 citations

    1

    h-index

  3. OS
    Ofer Strichman

    Technion – Israel Institute of Technology, Israel

    1 publications · 31 citations

    1

    h-index

  4. HC
    Hana Chockler

    IBM Research - Haifa, Israel

    1 publications · 31 citations

    1

    h-index

  5. AL
    Axel Legay

    Institut national de recherche en sciences et technologies du numérique, France

    1 publications · 286 citations

    1

    h-index

1–5 of 12

Institutions

12

  1. Carmel (Israel)

    Haifa, Israel

    1 h-index

    1 publications

    31 citations

  2. University of Namur

    Namur, Belgium

    1 h-index

    3 publications

    858 citations

  3. Université de Rennes

    Rennes, France

    1 h-index

    1 publications

    286 citations

  4. Institut de Recherche en Informatique et Systèmes Aléatoires

    Rennes, France

    1 h-index

    1 publications

    286 citations

  5. Technion – Israel Institute of Technology

    Haifa, Israel

    1 h-index

    1 publications

    31 citations

  6. Université Libre de Bruxelles

    Brussels, Belgium

    1 h-index

    1 publications

    286 citations

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

    Le Chesnay-Rocquencourt, France

    1 h-index

    1 publications

    286 citations

  8. IBM Research - Haifa

    Haifa, Israel

    1 h-index

    1 publications

    31 citations

1–8 of 12

Venues

  1. IEEE Transactions on Software Engineering

    TSE · 1 publications · 286 citations

    1

    h-index

  2. 1

    h-index

1–2