SMACCMPilot: open-source UAV autopilot using high-assurance software methods #1 Post by shangaslammi » Tue, Oct 29, 2013, 11:47 AM UTC SMACCMPilot: open-source UAV autopilot using high-assurance software methodssmaccmpilot.org