Issued Patents All Time
Showing 1–2 of 2 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 9141354 | Advantageous state merging during symbolic analysis | Volodymyr Kuznetsov, Stefan Bucur, George Candea | 2015-09-22 |
| 8782625 | Memory safety of floating-point computations | Patrice Godefroid | 2014-07-15 |