Issued Patents All Time
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 7761430 | Verification of cross domain data system query results | Karthik Kalyanaraman | 2010-07-20 |
| 7457832 | Verifying dynamically generated operations on a data store | Justin Baird, Sander Bogdan, Jeffrey Reed, James Madison Stone, III, David E. Sceppa | 2008-11-25 |