P

Inventor

RUAH SITVANIT

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

IBM

4 patents
US7725851B2May 25, 2010

Device, system and method for formal verification

IBM15 citations82
US9389984B2Jul 12, 2016

Directing verification towards bug-prone portions

IBM6 citations71
US8856755B2Oct 7, 2014

Dominant-state-based coverage metric

IBM0 citations49
US8352234B2Jan 8, 2013

Model generation based on a constraint and an initial model

IBM0 citations49

PIDAN DMITRY

1 patent
US8219376B2Jul 10, 2012

Verification using directives having local variables

PIDAN DMITRY4 citations54

RABINOVICH ELLA

1 patent
US9043746B2May 26, 2015

Conducting verification in event processing applications using formal methods

RABINOVICH ELLA2 citations50