Viz napr. "Model Checking An Entire Linux Distribution for Security Violations", http://portal.acm.org/citation.cfm?id=1106807&dl=ACM&coll=ACM
BTW ako "najpriatelskejsi" k model checkingu bude asi MINIX 3.
Názor ke zprávičce MS Windows Home Server poškozuje soubory
