Jawahar Jain Jacob A. Abraham James R. Bitner Donald S. Fussell Probabilistic Verification of Boolean Functions. 61-115 1992 1 Formal Methods in System Design 1 db/journals/fmsd/fmsd1.html#JainABF92 http://dx.doi.org/10.1007/BF00464357