Inventor

KEIDAR SHARON

IL2 patents

Patents

2 patents

US6957404B2Oct 18, 2005

Model checking with layered localization reduction

IBM23 citations86

US7188061B2Mar 6, 2007

Simulation monitors based on temporal formulas

IBM4 citations58