Symbolic model checking: 10/sup 20/ states and beyond | IEEE Conference Publication | IEEE Xplore