Issued Patents All Time
Showing 26–29 of 29 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 7171655 | Verifier to check intermediate language | Donald Syme, Jonathon Forbes, Vance Morrison | 2007-01-30 |
| 6851108 | Verifying intermediate language code | Don Syme, Jonathan Forbes, Vance Morrison | 2005-02-01 |
| 6826751 | Ambient calculus-based modal logics for mobile ambients | Luca Cardelli, Giorgio Ghelli | 2004-11-30 |
| 6560774 | Verifier to check intermediate language | Donald Syme, Jonathon Forbes, Vance Morrison | 2003-05-06 |