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…

Review of: M. Carbin, D. Kim, S. Misailovic, and M. C. Rinard, “Proving acceptability properties of relaxed nondeterministic approximate programs,” in Proc. of the 33rd ACM SIGPLAN conference PLDI, 2012, pp. 169–180. 1         Identification of the Problem To achieve performance…