OS Verification - Now

Workshop on Workstation Operating Systems (now HotOS)/Workshop on Hot Topics in Operating Systems, pp. 2-2, 2005.

Cited by: 56|Views19
EI

Abstract:

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

Code:

Data:

Your rating :
0

 

Tags
Comments