Transferring formal methods technology to industry
This paper describes the panel session on Transferring Formal Methods Technology to Industry that was held at the Workshop on Industrial-Strength Formal Speci cation Techniques in October, 1998. The panel members were Patrice Godefroid from Lucent Technologies/Bell Labs, John Kelly from NASA Jet Propulsion Laboratory, Steven Miller from Rockwell Collins, and Frank Weil from Motorola.