[comp.os.research] Correctness of Operating Systems Implementations

mandal@cis.ohio-state.edu (Manas Mandal) (02/08/90)

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