Assignee

GEIST DANIEL

IL3 patents

Top patents by PatentIndex Score

US8108195B2Jan 31, 2012

Satisfiability (SAT) based bounded model checkers

GEIST DANIEL2 citations57

US9645913B2May 9, 2017

Method and apparatus for debugging programs

GEIST DANIEL1 citations48

US8489380B2Jul 16, 2013

Satisfiability (SAT) based bounded model checkers

GEIST DANIEL0 citations44