Inventor

FLUR SHAKED

IL4 patents

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

ARBEL ELI

2 patents

US8244516B2Aug 14, 2012

Formal verification of models using concurrent model-reduction and model-checking

ARBEL ELI8 citations81

US8417507B2Apr 9, 2013

Formal verification of models using concurrent model-reduction and model-checking

ARBEL ELI2 citations59

BAUMGARTNER JASON RAYMOND

1 patent

US8627273B2Jan 7, 2014

Model checking of liveness property in a phase abstracted model

BAUMGARTNER JASON RAYMOND4 citations64

FLUR SHAKED

1 patent

US8554522B2Oct 8, 2013

Detection of design redundancy

FLUR SHAKED0 citations30