Issued Patents All Time
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 10402430 | Method and system for representing paths on a graph based on a classification | Koen Daenen | 2019-09-03 |
| 8762949 | Method and apparatus for incremental analysis of one or more properties of a program | Christopher L. Conway, Kedar Namjoshi | 2014-06-24 |
| 7536602 | Method and apparatus for evaluating paths in a state machine | — | 2009-05-19 |