At the moment, we don't directly monitor user input. However, in a sense, we indirectly monitor user input since our code checks every signal getting sent to the motors, regardless of whether it originated with a user's action or with some autopilot command. Do you think we could gain something...
You can follow us on Twitter (@VeriDrone) if you want to see how things are going.
We do actually run our verified code alongside an off-the-shelf flight controller, namely ardupilot. Our goal is to retain the benefits of a state of the art flight controller while providing strong safety...
For the past year or so, I've been working on the VeriDrone project, in which we formally verify quadcopter software. We have an active blog, which I want to share with the community to get some feedback from real practitioners. Here's one blog post giving a brief introduction to the project...