What happens next is, all your data from the time you last saved have been lost.
In the end, formal verification could make it much easier to develop reliable, efficient file systems.
While the computer can still crash, but it can save data in the process.
This is stuff thats going to get built on and applied in many different domains.
Thats whats so exciting.
The paper will be presented at the ACM Symposium on Operating Systems Principles
Read More
source: www.techworm.net
