 |  |  |  |  |
MIT researchers create a crash-proof file system
| |||||||||
|
MIT researchers create a crash-proof file system
| | |||||||
 |
 |
| | Thread Tools |
26th August 2015, 11:14
| #1 |
| [M] Reviewer  Join Date: May 2010 Location: Romania
Posts: 153,514
 |  MIT researchers create a crash-proof file system Nickolai Zeldovich and his colleagues at MIT have created a file system they claim is mathematically proven to be impervious to any unexpected system crash. The team built the file system on the basis of formal verification, which by itself isn't entirely new. What's different about the MIT team's work is that their formal proofs are made against the final code they wrote, and not against some high-level flowchart describing the system. http://techreport.com/news/28898/mit...of-file-system |
|  |
|
Similar Threads | ||||
| Thread | Thread Starter | Forum | Replies | Last Post |
| Researchers inject oil into cells and create little lasers | Stefan Mileschin | WebNews | 0 | 4th August 2015 10:02 |
| How to Create an Encrypted Container File With BitLocker on Windows | Stefan Mileschin | WebNews | 0 | 17th July 2014 09:23 |
| Big Bang researchers aren't so sure they have proof of cosmic ripples | Stefan Mileschin | WebNews | 0 | 23rd June 2014 09:26 |
| How to Create an Encrypted File Container (Disk Image) on a Mac | Stefan Mileschin | WebNews | 0 | 10th March 2014 07:31 |
| Researchers create wooden battery | Stefan Mileschin | WebNews | 0 | 24th June 2013 07:09 |
| Researchers use smartphone to create indoor map | Stefan Mileschin | WebNews | 0 | 19th June 2013 07:37 |
| Researchers create disposable paper USBs | Stefan Mileschin | WebNews | 0 | 3rd January 2013 08:14 |
| Harvard researchers create cyborg tissues | Stefan Mileschin | WebNews | 0 | 31st August 2012 07:20 |
| Researchers create new flexible LED | Shogun | WebNews | 0 | 22nd August 2009 17:40 |
| Northwestern Researchers Create Graphene in a Flash | jmke | WebNews | 0 | 14th August 2009 15:40 |
| Thread Tools | |
| |
