The EBMC page has moved here:
http://www.cprover.org/ebmc/