|
|
VaqUoT : Vacuity Detector
Description:
In the paper referenced below, vacuity detection has been formulated as a multi-valued model-checking problem. We have implemented such an idea in a vacuity detector built on top of NuSMV. It is available for download at the link given below. The download is protected. To get the userid and password, please contact Mihaela Gheorghiu or Arie Gurfinkel. People Involved:
|
|
|
