怎样才能知道你的网络在被攻击或故障的情况下是否安全？Veriflow，一个有美国国防部支持的初创公司表示，他们可以确保你能够知道。 Veriflow应用一个被用作在准备火星登陆和军工装备叫做“形式证明”的方法，去提前计算那些将会导致网络上的错误。使用那些信息，它能够帮助企业应用策略去防范问题的产生和蔓延。 Veriflow的首席技术官、首席安全官和首席工程师都长时间在伊利诺伊大学一起从事学术工作，国家科学基金是他们的投资人之一。