അത്തരമൊരു ശ്രമം നടത്തിയത് ഓസ്ട്രേലിയൻ ഗ്രൂപ്പായ നിക്റ്റ യാണ്. അവിടെ അവർ സെൽ 4 എന്ന ഓപ്പറേറ്റിംഗ് സിസ്റ്റം വികസിപ്പിച്ചെടുത്തു. ചില അനുമാനങ്ങള് ക്ക് കീഴിൽ സെൽ 4 കുറ്റമറ്റതാണെന്ന് തെളിയിക്കാന്  അവർക്ക് കഴിഞ്ഞു.
అలాంటి ఒక ప్రయత్నం NICTA అనే   ఆస్ట్రేలియన్ సమూహం చేసింది, అక్కడ వారు SeL4 అనే ఆపరేటింగ్ సిస్టమ్ ను అభివృద్ధి చేశారు మరియు కొన్ని అంచనాల ప్రకారం SeL4 లోపం లేనిదని వారు నిరూపించగలిగారు.