The following publications are possibly variants of this publication:
- Verified Software: A Grand ChallengeCliff B. Jones, Peter W. O Hearn, Jim Woodcock. Computer, 39(4):93-95, 2006. [doi]
- First Steps in the Verified Software Grand ChallengeJim Woodcock. sew 2006: 203-206 [doi]
- First Steps in the Verified Software Grand ChallengeJim Woodcock. Computer, 39(10):57-64, 2006. [doi]
- The Verification Grand ChallengeJim Woodcock, Richard Banach. jucs, 13(5):661-668, 2007. [doi]
- Verification in the Grand ChallengeJim Woodcock, Janet Barnes, Rod Chapman, Simon Foster 0001, Thomas Santen. In Cliff B. Jones, Jayadev Misra, editors, Theories of Programming: The Life and Works of Tony Hoare. pages 125-156, ACM / Morgan & Claypool, 2021. [doi]
- POSIX and the Verification Grand Challenge: A RoadmapLeo Freitas, Jim Woodcock, Andrew Butterfield. ICECCS 2008: 153-162 [doi]