Number | Name | Date | Kind |
---|---|---|---|
4713605 | Iyer et al. | Dec 1987 | A |
5136705 | Stubbs et al. | Aug 1992 | A |
5367685 | Gosling | Nov 1994 | A |
5570375 | Tsai et al. | Oct 1996 | A |
5604756 | Kawata | Feb 1997 | A |
5615137 | Holzmann et al. | Mar 1997 | A |
5748964 | Gosling | May 1998 | A |
5809036 | Champlin | Sep 1998 | A |
5825785 | Barry et al. | Oct 1998 | A |
6006345 | Berry, Jr. | Dec 1999 | A |
6367044 | Komoike | Apr 2002 | B1 |
6370665 | Noguchi | Apr 2002 | B1 |
6415409 | Rhodes et al. | Jul 2002 | B1 |
Number | Date | Country |
---|---|---|
0 685 792 | May 1995 | EP |
WO 9819237 | May 1998 | WO |
Entry |
---|
David Basin “Java Bytecode Verification by Model Checking” System Abstract, pp. 492-495 IT-Research Security (TZ/FE34). |