POSIX and the Verification Grand Challenge: A Roadmap - researchr publication related

researchr

You are not signed in
Sign in
Sign up

Leo Freitas, Jim Woodcock, Andrew Butterfield. POSIX and the Verification Grand Challenge: A Roadmap. In 13th International Conference on Engineering of Complex Computer Systems (ICECCS 2008), March 31 2008 - April 3 2008, Belfast, Northern Ireland. pages 153-162, IEEE Computer Society, 2008. [doi]

The following publications are possibly variants of this publication:

Verified Software Grand ChallengeJim Woodcock. FM 2006: 617-617 [doi]

The Verification Grand ChallengeJim Woodcock, Richard Banach. jucs, 13(5):661-668, 2007. [doi]

Verified Software: A Grand ChallengeCliff B. Jones, Peter W. O Hearn, Jim Woodcock. Computer, 39(4):93-95, 2006. [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]

runs on WebDSL