Assignee
CHOCKLER HANA
IL·4 granted patents·16 citations·filing 2008–2011
Top patents by PatentIndex Score
4 records- 0175US8327334B2Replay of program executions using cross-entropyCHOCKLER HANA·Filed 2008·Granted Dec 4, 2012·9 cites·17 claims
- 0272US8996339B2Incremental formal verificationCHOCKLER HANA·Filed 2011·Granted Mar 31, 2015·4 cites·17 claims
- 0363US8639490B2Concretization of abstracted tracesCHOCKLER HANA·Filed 2010·Granted Jan 28, 2014·2 cites·14 claims
- 0458US8903700B2Concretization of abstracted tracesCHOCKLER HANA·Filed 2010·Granted Dec 2, 2014·1 cites·14 claims
Counts cover granted patents and pending applications in the PatentIndex corpus. How scoring works →