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