असाच एक प्रयत्न एनआयसीटीए नावाच्या ऑस्ट्रेलियन गटाने केला जेथे तेथे त्यांनी एसईएल ४ नावाची एक ऑपरेटिंग सिस्टम विकसित केली आणि काही विशिष्ट गृहितकांनुसार ते हे सिद्ध करण्यास सक्षम झाले की एसएल ४ निर्दोष आहे.
അത്തരമൊരു ശ്രമം നടത്തിയത് ഓസ്ട്രേലിയൻ ഗ്രൂപ്പായ നിക്റ്റ യാണ്. അവിടെ അവർ സെൽ 4 എന്ന ഓപ്പറേറ്റിംഗ് സിസ്റ്റം വികസിപ്പിച്ചെടുത്തു. ചില അനുമാനങ്ങള് ക്ക് കീഴിൽ സെൽ 4 കുറ്റമറ്റതാണെന്ന് തെളിയിക്കാന്  അവർക്ക് കഴിഞ്ഞു.