Some strategies for proving theorems with a model checker abstract of invited talk | IEEE Conference Publication | IEEE Xplore