Issued Patents All Time
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 6938186 | System and method for performing a path-sensitive verification on a program | Manuvir Das, Mark C. Seigle | 2005-08-30 |
SL
Sorin L. Lerner
Overall (All Time): #3,457,447 of 4,157,543Top 85%
1
Patents All Time