POSIX and the Verification Grand Challenge: A Roadmap.

Leo Freitas, Jim Woodcock, Andrew Butterfield

Browse the full ICECCS paper archive.