Second International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (isola 2006)