A Framework for Inherent Vacuity

@inproceedings{Fisman2008AFF,
  title={A Framework for Inherent Vacuity},
  author={Dana Fisman and Orna Kupferman and Sarai Sheinvald and Moshe Y. Vardi},
  booktitle={Haifa Verification Conference},
  year={2008}
}
Vacuity checking is traditionally performed after model checking has terminated successfully. It ensures that all the elements of the specification have played a role in its satisfaction by the design. Vacuity checking gets as input both design and specification, and is based on an in-depth investigation of the relation between them. Vacuity checking has been proven to be very useful in detecting errors in the modeling of the design or the specification. The need to check the quality of… CONTINUE READING
Highly Cited
This paper has 32 citations. REVIEW CITATIONS