Maayan Ziv

City:

Haifa

Country:

Israel

Published Applications:

Last publication date:

2026-01-27

Top Assignees for applications by Maayan Ziv

The entities that hold a legal rights for patent applications filed by inventor Ziv Maayan:

Maayan Ziv from Haifa, IL has applied for patents for these inventions. The list has both pending applications and granted patents:

Method and system for automatic bug localization

Method and system for combined formal static analysis of a design code

System, method, and computer program product for grouping one or more failures in a formal verification

System, method, and computer program product for ranking and displaying violations in an electronic design

Method and system for computerized debugging assertions

InventorID:

7129654 ⎘