The manual is at
http://www.cprover.org/ebmc/manual/
