I promised not to sent any messages to this maling-list anymore, but this is an exception because the work of my company and me is directly addressed in a way that might mislead members of this mailing-list and the broader public and also might have been an attack on our reputation.
It wasn't intended as such - I'm new to the field of formal verification and wasn't aware of this work.
Thanks for the information, though. I'll read through those links. -- DH -- 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
