Issued Patents All Time
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 6038378 | Method and apparatus for testing implementations of software specifications | Ronald Allen Kita, Mark Trumpler | 2000-03-14 |
| 5870590 | Method and apparatus for generating an extended finite state machine architecture for a software specification | Ronald Allen Kita, Mark Trumpler | 1999-02-09 |