P
PatentIndex
Search
Landscape
Sign in
Inventor
GOUNDAN AYEE KANNAN
US
2 patents
Patents
2 patents
US8209646B2
Jun 26, 2012
Apparatus and method for analyzing source code using path analysis and Boolean satisfiability
CHESS BRIAN
9 citations
79
US8527975B2
Sep 3, 2013
Apparatus and method for analyzing source code using memory operation evaluation and boolean satisfiability
CHESS BRIAN
3 citations
58