Issued Patents All Time
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 8892493 | Compatibility testing using traces, linear temporal rules, and behavioral models | Randall E. Aull, Pankaj Gupta, Robert Harris, Venkatesh-Prasad Ranganath, Pradip Harindran Vallathol | 2014-11-18 |