Issued Patents 2020
Showing 1–2 of 2 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 10664377 | Automation of software verification | Daniel Lewis Neville | 2020-05-26 |
| 10558550 | Static program analysis of a partial software program | Andrew Eric Walenstein | 2020-02-11 |