Issued Patents 2019
Showing 1–4 of 4 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 10489149 | Information processing apparatus, information processing method and program | Futoshi Iwama | 2019-11-26 |
| 10387288 | Interactive analysis of a security specification | Marco Pistoia, Omer Tripp | 2019-08-20 |
| 10372582 | Enhanced string analysis that improves accuracy of static analysis | Salvatore A. Guarnieri, Marco Pistoia, Omer Tripp | 2019-08-06 |
| 10331415 | Formal specification generation using examples | Yoichi Hatsutori, Futoshi Iwama, Shin Saito, Hideo Watanabe | 2019-06-25 |