Inventor

MATSLIAH ARIE

IL5 patents

⚠️ This page may combine multiple inventors who share the name “MATSLIAH ARIE”. Patents are grouped by organization below to help distinguish them — per-person disambiguation is on the roadmap.

IVRII ALEXANDER

2 patents

US8909579B2Dec 9, 2014

Identifying invariant candidates based on proofs

IVRII ALEXANDER3 citations55

US8996435B2Mar 31, 2015

Determining invariants in a model

IVRII ALEXANDER0 citations35

CHOCKLER HANA

1 patent

US8996339B2Mar 31, 2015

Incremental formal verification

CHOCKLER HANA4 citations69

IBM

1 patent

US8850372B2Sep 30, 2014

Method and system for performing invariant-guided abstraction of a logic design

IBM1 citations50

BEN-HAIM YAEL

1 patent

US8825575B2Sep 2, 2014

Conjunctive normal form encoding of cardinality constraints

BEN-HAIM YAEL0 citations39