Inventor

GEIST DANNY

IL2 patents

Patents

2 patents

US6757847B1Jun 29, 2004

Synchronization for system analysis

IBM78 citations93

US6957404B2Oct 18, 2005

Model checking with layered localization reduction

IBM23 citations86