未来所有软件都将经过正式验证。我们仍然处于早期阶段。