Fast parallel algorithms for model checking using BDDs | IEEE Conference Publication | IEEE Xplore