Issued Patents All Time
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 12367328 | Systems and methods for formal verification of computer platforms | Amit Vasudevan, Michael J. McCall | 2025-07-22 |
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 12367328 | Systems and methods for formal verification of computer platforms | Amit Vasudevan, Michael J. McCall | 2025-07-22 |