A Proposal for Re-Envigorating the Use of Formal Methods in Industry
Edward Amoroso
AT&T
Monday, March 29, 2:00PM
Lieb 120
Computer Science Department
Stevens Institute of Technology
Abstract
This presentation will outline a proposed strategy for re-invigorating
the use of formal methods for large-scale software development
efforts. Specifically, management steps are outlined for how formal
methods might be used to address the growing problem of software bugs,
security vulnerabilities, and the myriad of uncertainties that result
from outsourced code development efforts.