Issued Patents All Time
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 11853195 | Methods and systems to discover special outcomes in an instruction set architecture via formal methods | Bryant Cockcroft, Debapriya Chatterjee, Bradley Donald Bingham | 2023-12-26 |
| 11748221 | Test error scenario generation for computer processing system components | — | 2023-09-05 |