Issued Patents All Time
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 5937181 | Simulation of a process of a concurrent system | Patrice Godefroid | 1999-08-10 |
| 5768498 | Protocol verification using symbolic representations of queues | Patrice Godefroid | 1998-06-16 |
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 5937181 | Simulation of a process of a concurrent system | Patrice Godefroid | 1999-08-10 |
| 5768498 | Protocol verification using symbolic representations of queues | Patrice Godefroid | 1998-06-16 |