The foremost differentiating factor between formal and informal means of challenging state power is that formal means are more permanent and dependable as they are set up by statutory law whilst informal means are pressuring the government through means of media and social power. Examples of bodies that are used to formally challenge state power are the Ombudsman, The Independent Commission Against Corruption (ICAC), privacy bodies, the Administrative Appeals Tribunal (AAT) and courts. These too are limited as the Ombudsman and general government inquiries have no enforcement power.
The Human Rights and Equal Opportunity Commission is a national independent statutory government body, established in 1986 by an Act of the federal Parliament (the Human Rights and Equal Opportunity Commission Act). The federal Attorney General is parliamentary minister responsible for this commission.
Recently the Human Rights and Equal Opportunities Commission held a national inquiry into the mandatory detention policy of refugees that is currently in place in Australia. Their findings were primarily based around Australia's duties as outlined in CROC