Formal methods and software reliability
Gerard J. Holzmann · 2005
In this position statement, the author briefly describes how the software reliability problem has changed over the years, and the primary reasons for the recent creation of the Laboratory for Reliable Software at JPL.