• Validation of a microkernel : a case study 

      De Villiers, Pieter Jan Albertus (Stellenbosch : Stellenbosch University, 1999-11)
      ENGLISH ABSTRACT: This dissertation describes the application of formal methods to the development of operating systems. A related area of software engineering-the development of protocols-has been improved substantially ...