| 1999 |
|---|
| 4 | | Cui Zhang,
Brian R. Becker,
Dave Peticolas,
Ronald A. Olsson,
Karl N. Levitt:
LVT: A Layered Verification Technique for Distributed Computing Systems.
Softw. Test., Verif. Reliab. 9(2): 107-133 (1999) |
| 1997 |
|---|
| 3 | EE | Cui Zhang,
Brian R. Becker,
Dave Peticolas,
Mark Heckman,
Karl N. Levitt,
Ronald A. Olsson:
Verification of a Distributed Computing.
HICSS (5) 1997: 252-261 |
| 1996 |
|---|
| 2 | | Mark Heckman,
Cui Zhang,
Brian R. Becker,
Dave Peticolas,
Karl N. Levitt,
Ronald A. Olsson:
Towards Applying the Composition Principle to Verify a Microkernel Operating System.
TPHOLs 1996: 235-250 |
| 1995 |
|---|
| 1 | | Cui Zhang,
Brian R. Becker,
Mark Heckman,
Karl N. Levitt,
Ronald A. Olsson:
A Hierarchical Method for Reasoning about Distributed Programming Languages.
TPHOLs 1995: 385-400 |
