Inventor
BEN-DAVID SHOHAM
IL4 patents
Patents
4 patentsUS6691078B1Feb 10, 2004
Target design model behavior explorer
IBM25 citations90
US6665848B2Dec 16, 2003
Time-memory tradeoff control in counterexample production
IBM7 citations63
US7155374B2Dec 26, 2006
Generation of partial traces in model checking
IBM3 citations57
US7146301B2Dec 5, 2006
Efficient production of disjoint multiple traces
IBM0 citations37