Jackson and Vaziri 2000: 1 Problem The work presented in this paper provides an approach to the problem of detecting bugs in software specifications, and makes a contribution toward the higher-level goal of determining whether a concrete program meets its…
