Viewing profile — BmoreDaniel

Education of beginner pilots is definitely important, but I think the author makes a mistake in dismissing the potential of new safety software (e.g. prevent drones from flying in …

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.…

The most important skill for a programmer is to learn to think before you code: http://www.wired.com/2013/01/code-bugs-programming-why-we-ne... .

Formal verification can prove the absence of bugs.

The fact that specification and documentation are abandoned is pretty sad. Software should be adequately specified and specs should be kept up to date with code. Code is not a spec…

1) The code that users write in Reflex is the code that actually runs. This means that any guarantee about a Reflex program is a guarantee about the real life implementation of tha…