SITVANIT RUAH

Person

Rehovot, IL

People

Patents Grantslast 30 patents

Information Patent Grant
Directing verification towards bug-prone portions
- Patent number 9,389,984
- Issue date Jul 12, 2016
- International Business Machines Corporation
- Hana Chockler
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Conducting verification in event processing applications using form...
- Patent number 9,043,746
- Issue date May 26, 2015
- International Business Machines Corporation
- Ella Rabinovich
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Dominant-state-based coverage metric
- Patent number 8,856,755
- Issue date Oct 7, 2014
- International Business Machines Corporation
- Hana Chockler
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Model generation based on a constraint and an initial model
- Patent number 8,352,234
- Issue date Jan 8, 2013
- International Business Machines Corporation
- Sharon Keidar Barner
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Verification using directives having local variables
- Patent number 8,219,376
- Issue date Jul 10, 2012
- International Business Machines Corporation
- Dmitry Pidan
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Device, system and method for formal verification
- Patent number 7,725,851
- Issue date May 25, 2010
- International Business Machines Corporation
- Cynthia Rae Eisner
- G06 - COMPUTING CALCULATING COUNTING

Patents Applicationslast 30 patents

Information Patent Application
DIRECTING VERIFICATION TOWARDS BUG-PRONE PORTIONS
- Publication number 20150074651
- Publication date Mar 12, 2015
- International Business Machines Corporation
- HANA CHOCKLER
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
AVOIDING SIMILAR COUNTER-EXAMPLES IN MODEL CHECKING
- Publication number 20150074652
- Publication date Mar 12, 2015
- International Business Machines Corporation
- HANA CHOCKLER
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
DOMINANT-STATE-BASED COVERAGE METRIC
- Publication number 20140215445
- Publication date Jul 31, 2014
- International Business Machines Corporation
- Hana Chockler
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Validation of revised computer programs
- Publication number 20140208297
- Publication date Jul 24, 2014
- International Business Machines Corporation
- Hana Chockler
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
CONDUCTING VERIFICATION IN EVENT PROCESSING APPLICATIONS USING FORM...
- Publication number 20120233587
- Publication date Sep 13, 2012
- International Business Machines Corporation
- Ella Rabinovich
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
MODEL GENERATION BASED ON A CONSTRAINT AND AN INITIAL MODEL
- Publication number 20110071809
- Publication date Mar 24, 2011
- International Business Machines Corporation
- Sharon Keidar-Barner
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Design verification using directives having local variables
- Publication number 20090216513
- Publication date Aug 27, 2009
- Dmitry Pidan
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Device, System and Method for Formal Verification
- Publication number 20090064064
- Publication date Mar 5, 2009
- Cynthia Rae Eisner
- G06 - COMPUTING CALCULATING COUNTING

SITVANIT RUAH

Person

Patents Grantslast 30 patents

Directing verification towards bug-prone portions

Conducting verification in event processing applications using form...

Dominant-state-based coverage metric

Model generation based on a constraint and an initial model

Verification using directives having local variables

Device, system and method for formal verification

Patents Applicationslast 30 patents

DIRECTING VERIFICATION TOWARDS BUG-PRONE PORTIONS

AVOIDING SIMILAR COUNTER-EXAMPLES IN MODEL CHECKING

DOMINANT-STATE-BASED COVERAGE METRIC

Validation of revised computer programs

CONDUCTING VERIFICATION IN EVENT PROCESSING APPLICATIONS USING FORM...

MODEL GENERATION BASED ON A CONSTRAINT AND AN INITIAL MODEL

Design verification using directives having local variables

Device, System and Method for Formal Verification