22.07.2014 14:11, Christian Stroetmann пишет: > > > 1. The general concept about a formally verified R4 was already made in the > November 2006 with the start of OntoLinux [1] (see its characteristics on the > webpage Overview [2]). At that time, the OntoFS [3] was based on R4. Could you provide links to actual verification or source code? All I've managed to find there is some marketing junk from the company I've never heard about before. On a related note - I think formally verified R4 is great idea but you've got to be aware that as long as it's running on top of unverified Linux kernel we can only assure that some properties hold under the assumption that kernel actually does the right thing. Not sure how practically viable it is outside of general academic curiosity. cheers, Max. -- To unsubscribe from this list: send the line "unsubscribe reiserfs-devel" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html
