Formal Methods and Operating Systems
Formal methods relevant to OS
Three beliefs holding back acceptance:
inaccessible tools
gap between models and implementations
an OS is just too big
Previous
Next
Index
Picture