The L4.verified project pages have moved to http://ertos.nicta.com.au/research/l4.verified/.