OS Verification - Now
Workshop on Workstation Operating Systems (now HotOS)/Workshop on Hot Topics in Operating Systems, pp. 2-2, 2005.
Hard, machine-supported formal verification of software is at a turning point. Recent years have seen theo- rem proving tools maturing with a number of success- ful, real-life applications. At the same time, small high- performance OS kernels, which can drastically reduce the size of the trusted computing base, have become more popular. W...More
PPT (Upload PPT)