1. Reuse Versus Reinvention ** Mary Ann Malloy, PhD [email_address] LFM 2008 Conference **How Will Formal Methods Deal with Composable Systems? 2. Composable C2needsFormal…