A novel abstraction-guided simulation approach using posterior probabilities for verification | IEEE Conference Publication | IEEE Xplore