Inventor · disambiguated record
Arie Matsliah
Also filed as: MATSLIAH ARIE
5 granted patents·1 pending application·8 citations·filing 2007–2012
69Inventor score
Top patents by PatentIndex Score
6 records- 0172US8996339B2Incremental formal verificationCHOCKLER HANA·Filed 2011·Granted Mar 31, 2015·4 cites·17 claims
- 0265US8909579B2Identifying invariant candidates based on proofsIVRII ALEXANDER·Filed 2011·Granted Dec 9, 2014·3 cites·20 claims
- 0361US8850372B2Method and system for performing invariant-guided abstraction of a logic designIBM·Filed 2012·Granted Sep 30, 2014·1 cites·27 claims
- 0438US2009112547A1Device, System and Method of Underapproximated Model-CheckingMATSLIAH ARIE·Filed 2007·Application pending·0 cites
- 0534US8996435B2Determining invariants in a modelIVRII ALEXANDER·Filed 2011·Granted Mar 31, 2015·0 cites·21 claims
- 0630US8825575B2Conjunctive normal form encoding of cardinality constraintsBEN-HAIM YAEL·Filed 2012·Granted Sep 2, 2014·0 cites·24 claims
Join the waitlist — get patent alerts
Get an alert when Arie Matsliah files or is granted a new patent.
We store only your email — no account needed. See our privacy policy.
Identity basis: PatentsView inventor disambiguation (2025Q4-odp release). How scoring works →