Issued Patents All Time
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 9710427 | Verification of distributed symmetric multi-processing systems | Alex Goryachev, Ronny Morad, Sergey Shusterman | 2017-07-18 |
| 9298670 | Verification of distributed symmetric multi-processing systems | Alex Goryachev, Ronny Morad | 2016-03-29 |
| 9218273 | Automatic generation of a resource reconfiguring test | Erez Lev Meir Bilgory, Alex Goryachev, Ronny Morad | 2015-12-22 |