Yes! The world needs this kind of work. I would prefer my flight control computers to be free of bugs, provably.<p>DARPA just concluded a program to do exactly this, and I wonder if Veridrone was funded as part of their efforts:<p><a href="http://www.darpa.mil/program/high-assurance-cyber-military-systems" rel="nofollow">http://www.darpa.mil/program/high-assurance-cyber-military-s...</a><p>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:<p><a href="http://opencatalog.darpa.mil/HACMS.html" rel="nofollow">http://opencatalog.darpa.mil/HACMS.html</a>
Another step towards my dream of an Uber-for-'Skyhook'-style-personal-drone-transport!<p>('Skyhook' was a cold-war era technology for lifting people up to planes flying overhead, kind of a reverse-parachute, involving baloons & long tether-lines:<p><a href="https://en.wikipedia.org/wiki/Fulton_surface-to-air_recovery_system" rel="nofollow">https://en.wikipedia.org/wiki/Fulton_surface-to-air_recovery...</a> )