Computational Logic, Inc.
Operating System Research News

There is information on our Mach specification work described in our 1994 Research Review.

We collaborated with the Open Software Foundation Research Institute to test the MK++ microkernel for compliance with its formal specification. For information, please visit our collaborator's project home page.

http://dirleton.csres.utexas.edu/software/os/index.html

This page is URL http://www.computationallogic.com/software/os/index.html