POSIX and the Verification Grand Challenge: A Roadmap
Leo Freitas, Jim Woodcock, Andrew J. Butterfield · 2008
We present a research roadmap for the second pilot project in the Verified Software Grand Challenge on formally verified POSIX file stores. The work is inspired by the requirements for NASA's forthcoming Mars Rover missions. The roadmap describes an integrated and comprehensive body of work, including current work, as well as further opportunities for collaboration.