[dguido]

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:

http://opencatalog.darpa.mil/HACMS.html

[BmoreDaniel]

I work on the VeriDrone project. We did not receive any funding from the HACMS project, but we have begun working with some folks from the SMACCMPilot project (http://smaccmpilot.org/index.html) that was funded by HACMS. We hope to eventually integrate with their platform in order to benefit from the guarantees they provide such as memory safety.