Issued Patents All Time
Showing 1–2 of 2 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 8527975 | Apparatus and method for analyzing source code using memory operation evaluation and boolean satisfiability | Brian Chess, Sean Fay | 2013-09-03 |
| 8209646 | Apparatus and method for analyzing source code using path analysis and Boolean satisfiability | Brian Chess, Sean Fay | 2012-06-26 |