A 1000X speed up for properties completeness evaluation | IEEE Conference Publication | IEEE Xplore