Issued Patents 2020
Showing 1–2 of 2 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 10798185 | Systems and methods for automated session identifier propagation | Vilas Veeraraghavan, Pranav Rajesh Parikh | 2020-10-06 |
| 10657307 | Using runtime information from solvers to measure quality of formal verification | Per M. Bjesse, Pratik Mahajan | 2020-05-19 |