Forward model checking techniques oriented to buggy designs | IEEE Conference Publication | IEEE Xplore