Issued Patents 2019
Showing 1–2 of 2 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 10380312 | System, method, and computer program product for analyzing formal constraint conflicts | Craig Franklin Deaton | 2019-08-13 |
| 10176285 | System, method, and computer program product for property violation comprehension | — | 2019-01-08 |