Adaptive bug-search depth for simple and deep counterexamples
US-10394987-B2 · Aug 27, 2019 · US
This page is not indexed by search engines while we improve data quality.
Mony Hari patents
Mony Hari is listed as an inventor on 13 patents in our database. Major assignees and classification codes are summarized below.
| Metric | Value |
|---|---|
| Inventor | Mony Hari |
| Total patents | 13 |
| First publication | Mar 10, 2015 |
| Latest publication | Aug 27, 2019 |
Notable patents
Publications ranked by popularity score, then publication date.
Adaptive bug-search depth for simple and deep counterexamples
US-10210296-B2 · Feb 19, 2019 · US
Adaptive bug-search depth for simple and deep counterexamples
US-2018276318-A1 · Sep 27, 2018 · US
Adaptive bug-search depth for simple and deep counterexamples
US-2018276317-A1 · Sep 27, 2018 · US
Method for scalable liveness verification via abstraction refinement
US-9483595-B2 · Nov 1, 2016 · US
System and program product for scalable liveness verification via abstraction refinement
US-9471734-B2 · Oct 18, 2016 · US
Scalable liveness verification via abstraction refinement
US-2016210389-A1 · Jul 21, 2016 · US
Scalable liveness verification via abstraction refinement
US-2016210388-A1 · Jul 21, 2016 · US
Efficiently determining Boolean satisfiability with lazy constraints
US-9280626-B2 · Mar 8, 2016 · US
Enhanced case-splitting based property checking
US-8997030-B1 · Mar 31, 2015 · US
Recent patents
Latest publications not already listed above.
Enhanced Case-Splitting Based Property Checking
US-2015074624-A1 · Mar 12, 2015 · US
Enhanced Case-Splitting Based Property Checking
US-2015074628-A1 · Mar 12, 2015 · US
Enhanced case-splitting based property checking
US-8978001-B1 · Mar 10, 2015 · US
Major assignees
Companies most often associated with this inventor's publications.
| Assignee | Patents |
|---|---|
| IBM | 13 |
| Baumgartner Jason R | 1 |
| Case Michael L | 1 |
| Kanzelman Robert L | 1 |
| Mony Hari | 1 |
Top CPC classifications
Most common classification codes across this inventor's patents.
| CPC | Patents |
|---|---|
| G06F30/3323 | 13 |
| G06F30/33 | 8 |
| G06F30/3308 | 8 |
| G06F17/504 | 5 |
| G06F30/39 | 4 |