POSIX and the Verification Grand Challenge: A Roadmap.

Leo Freitas Jim Woodcock Andrew Butterfield

Published in: ICECCS (2008)

Keyphrases

grand challenge
autonomous driving
face verification
model checking
real time
learning environment
formal methods
web services
signature verification