Nov 30, 2015 · Tweet · November 2015 i just assumed it was all formally-verified Ada done to the... i just assumed it was all formally-verified Ada done to the highest standards with unbelievably high testing standards ➛