Verfied Software: Theories, Tools and Experiments

(with Tony Hoare) Verified software: theories, tools, experiments. Vision of a Grand Challenge project (A position paper). LNCS 4171, pp 1--18, Springer Verlag.

(with Tony Hoare) Frequently asked Questions about the Project.

(with C.A.R. Hoare) Preface to special issue on software verification. ACM Computing Surveys, Volume 41 , Issue 4 (October 2009), Article No.: 18.

(with C.A.R. Hoare, Gary T. Leavens, Natarajan Shankar) The verified software initiative: A manifesto. ACM Computing Surveys, Volume 41 , Issue 4 (October 2009), Article No.: 22.