mandal@cis.ohio-state.edu (Manas Mandal) (02/08/90)
Keywords: correctness, implementations, operating systems I am interested in knowing about any work done in proving correctness of operating systems implementations. Just like there are methods to prove that a compiler correctly transforms a high-level program to a machine program, I was wondering if anyone is working to show that the implementation of an operating system correctly realizes its abstract model. Thanks, Manas