Assignee
GEIST DANIEL
IL·3 granted patents·1 pending application·3 citations·filing 2010–2012
Technology mixG06F4
Top patents by PatentIndex Score
4 records- 0165US8108195B2Satisfiability (SAT) based bounded model checkersGEIST DANIEL·Filed 2010·Granted Jan 31, 2012·2 cites·7 claims
- 0259US9645913B2Method and apparatus for debugging programsGEIST DANIEL·Filed 2012·Granted May 9, 2017·1 cites·20 claims
- 0343US8489380B2Satisfiability (SAT) based bounded model checkersGEIST DANIEL·Filed 2011·Granted Jul 16, 2013·0 cites·20 claims
- 0437US2012278791A1Utilizing temporal assertions in a debuggerGEIST DANIEL·Filed 2011·Application pending·0 cites
Counts cover granted patents and pending applications in the PatentIndex corpus. How scoring works →