Brian R. Becker

According to our database, Brian R. Becker authored at least 4 papers between 1995 and 1999.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

1999

LVT: A Layered Verification Technique for Distributed Computing Systems.

Cui Zhang, Brian R. Becker, Dave Peticolas, Ronald A. Olsson, Karl N. Levitt

Softw. Test. Verification Reliab., 1999

1997

Verification of a Distributed Computing.

Cui Zhang, Brian R. Becker, Dave Peticolas, Mark R. Heckman, Karl N. Levitt, Ronald A. Olsson

Proceedings of the 30th Annual Hawaii International Conference on System Sciences (HICSS-30), 1997

1996

Towards Applying the Composition Principle to Verify a Microkernel Operating System.

Mark R. Heckman, Cui Zhang, Brian R. Becker, Dave Peticolas, Karl N. Levitt, Ronald A. Olsson

Proceedings of the Theorem Proving in Higher Order Logics, 9th International Conference, 1996

1995

A Hierarchical Method for Reasoning about Distributed Programming Languages.

Cui Zhang, Brian R. Becker, Mark R. Heckman, Karl N. Levitt, Ronald A. Olsson

Proceedings of the Higher Order Logic Theorem Proving and Its Applications, 1995