Issued Patents All Time
Showing 1–2 of 2 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 9904541 | Semantic baselining | Manuel A. Fahndrich, Shuvendu K. Lahiri, Sam Blackshear | 2018-02-27 |
| 8453116 | Efficient invariant inference for program verification | Vincent Laviron | 2013-05-28 |