GE RESEARCH AND GE AVIATION SYSTEMS IN COLLABORATION WITH VIRGINIA POLYTECHNIC INSTITUTE (VIRGINIA TECH) PROPOSE TO GENERATE EVIDENCE TO SUPPORT THE CLAIM THAT THE USE OF TOOLS BASED ON FORMAL METHODS CAN SUBSTANTIALLY REDUCE THE COST OF SYSTEM...