Word-level traversal of finite state machines using algebraic geometry | IEEE Conference Publication | IEEE Xplore