Report - Formal Methods. CS460 - Senior Design Project I (AY2004)2 Why formal methods? Informal methods are open to interpretation and ambiguity, and often incomplete.

Please pass captcha verification before submit form