Lawrence M. Smith

Learn More
The MK++ kernel, a descendant of Mach, was designed and implemented at the Open Group Research Institute. Independently , Computational Logic had developed a formal specification for the Mach kernel interface. We report on the adaptation of this specification to MK++, and its use in the derivation of a testing strategy for the MK++ implementation. The(More)
  • 1