Issued Patents 2016
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 9489221 | Matching based pattern inference for SMT solvers | Leonardo M. de Moura | 2016-11-08 |
| 9467473 | System and method for compact form exhaustive analysis of security policies | Karthick Jayaraman, Charles W. Kaufman | 2016-10-11 |
| 9424157 | Early detection of failing computers | Assaf Schuster, Moshe Gabel, Ran Gilad-Bachrach | 2016-08-23 |