Arie Matsliah

Follow

Person

Haifa, IL

People

Patents Grantslast 30 patents

Information Patent Grant
Determining invariants in a model
- Patent number 8,996,435
- Issue date Mar 31, 2015
- International Business Machines Corporation
- Alexander Ivrii
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Incremental formal verification
- Patent number 8,996,339
- Issue date Mar 31, 2015
- International Business Machines Corporation
- Hana Chockler
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Identifying invariant candidates based on proofs
- Patent number 8,909,579
- Issue date Dec 9, 2014
- International Business Machines Corporation
- Alexander Ivrii
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Method and system for performing invariant-guided abstraction of a...
- Patent number 8,850,372
- Issue date Sep 30, 2014
- International Business Machines Corporation
- Jason Raymond Baumgartner
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Conjunctive normal form encoding of cardinality constraints
- Patent number 8,825,575
- Issue date Sep 2, 2014
- International Business Machines Corporation
- Yael Ben-Haim
- G06 - COMPUTING CALCULATING COUNTING

Patents Applicationslast 30 patents

Information Patent Application
METHOD AND SYSTEM FOR INVARIANT-GUIDED ABSTRACTION
- Publication number 20140115548
- Publication date Apr 24, 2014
- International Business Machines Corporation
- JASON RAYMOND BAUMGARTNER
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
CONJUNCTIVE NORMAL FORM ENCODING OF CARDINALITY CONSTRAINTS
- Publication number 20130325778
- Publication date Dec 5, 2013
- International Business Machines Corporation
- Yael Ben-Haim
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
INCREMENTAL FORMAL VERIFICATION
- Publication number 20130060545
- Publication date Mar 7, 2013
- International Business Machines Corporation
- Hana Chockler
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Identifying invariant candidates based on proofs
- Publication number 20130035908
- Publication date Feb 7, 2013
- International Business Machines Corporation
- Alexander Ivrii
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
DETERMINING INVARIANTS IN A MODEL
- Publication number 20130036079
- Publication date Feb 7, 2013
- International Business Machines Corporation
- Alexander Ivrii
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Device, System and Method of Underapproximated Model-Checking
- Publication number 20090112547
- Publication date Apr 30, 2009
- Arie MATSLIAH
- G06 - COMPUTING CALCULATING COUNTING