Issued Patents 2011
Showing 1–3 of 3 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 8046746 | Symbolic execution of object oriented programs with axiomatic summaries | Wolfgang Grieskamp, Wolfram Schulte | 2011-10-25 |
| 7926025 | Symbolic program model compositions | Colin Campbell, Margus Veanes, Nicolas Kicillof, Wolfgang Grieskamp, Wolfram Schulte | 2011-04-12 |
| 7882495 | Bounded program failure analysis and correction | Jonathan Paul de Halleux, Wolfram Schulte | 2011-02-01 |