fme93.pdf: Jonathan Bowen and Victoria Stavridou on The Industrial Take-up of Formal Methods in Safety-Critical and Other Areas: A Perspective. Jonathan Bowen is a prominent figure in program verification.
paper.pdf: Edmund M. Clarke and Jeannette M. Wing on Formal Methods: State of the Art and Future Directions State of the arts and future direction. Clarke is famous for his BDD invention, a very efficient technique to check the validity of a boolean formula. Until now, BDD is an important part of many verification tools.
nonq-tse.pdf: Ricky W. Butler (NASA) and George B. Finelli on The Infeasibility of Quantifying the Reliability of Life-Critical Real-Time Software.