Issued Patents All Time
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 8387021 | Symbolic runtime checking of quantified contracts | Nikolai Tillmann, Jonathan Paul de Halleux, Nikolaj S. Bjorner, Wolfram Schulte | 2013-02-26 |
DV
Dries Vanoverberghe
Overall (All Time): #3,149,444 of 4,157,543Top 80%
1
Patents All Time