Yes! The world needs this kind of work. I would prefer my flight control computers to be free of bugs, provably.
DARPA just concluded a program to do exactly this, and I wonder if Veridrone was funded as part of their efforts:
http://www.darpa.mil/program/high-assurance-cyber-military-s...
A lot of the work that went into formally verifying various aspects of drone and car software for HACMS was open sourced in DARPA's Open Catalog, found here: