Issued Patents All Time
Showing 1–1 of 1 patents
| Patent # | Title | Co-Inventors | Date | Approx Value ⓘ |
|---|---|---|---|---|
| 8930907 | Concurrency software testing with probabilistic bounds on finding bugs | Sebastian Burckhardt, Madanlal Musuvathi, Santosh Ganapati Nagarakatte | 2015-01-06 | $23,359,000 |