Brian R. Becker

Publication Activity (10 Years)

Years Active: 1995-1999
Publications (10 Years): 0

Publications

Cui Zhang, Brian R. Becker, Dave Peticolas, Ronald A. Olsson, Karl N. Levitt
LVT: A Layered Verification Technique for Distributed Computing Systems. Softw. Test. Verification Reliab. 9 (2) (1999)
Cui Zhang, Brian R. Becker, Dave Peticolas, Mark R. Heckman, Karl N. Levitt, Ronald A. Olsson
Verification of a Distributed Computing. HICSS (5) (1997)
Mark R. 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)
Cui Zhang, Brian R. Becker, Mark R. Heckman, Karl N. Levitt, Ronald A. Olsson
A Hierarchical Method for Reasoning about Distributed Programming Languages. TPHOLs (1995)