Issued Patents All Time
Showing 1–2 of 2 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 7089534 | Model based test generation for validation of parallel and concurrent software | Alan Hartman, Andrei Kirshin, Kenneth Nagin, Aviad Zlotnick | 2006-08-08 |
| 7024589 | Reducing the complexity of finite state machine test generation using combinatorial designs | Alan Hartman, Andrei Kirshin, Kenneth Nagin | 2006-04-04 |