RP Kurshan, K McMillan - Proceedings of the eighth annual ACM …, 1989 - dl.acm.org
In verifying finite state systems such as communication protocols or hardware controllers, we
may be required to reason about systems comprised of a finite but effectively unbounded …