Issued Patents 2017
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 9536093 | Automated verification of a software system | Chris Hawblitzel, Bryan Jeffrey Parno, Jacob R. Lorch, Jonathan R. Howell | 2017-01-03 |
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 9536093 | Automated verification of a software system | Chris Hawblitzel, Bryan Jeffrey Parno, Jacob R. Lorch, Jonathan R. Howell | 2017-01-03 |