&Truth, kodun güvenliğini kanıtlamak için 70 milyon dolar topladı

Kısaca

Palo Alto ve Singapur merkezli girişim, her programlama dilindeki kodu doğrulayabilen bir sistemle yazılım hatalarının yayınlanmadan önce yakalanmasını hedefliyor.

Ne oldu?

• &Truth, gizlilik modundan 70 milyon dolarlık tohum yatırımla çıktı.
• Şirket, yazılımın güvenli ve doğru olduğunu matematiksel olarak kanıtlayan bir doğrulama sistemi geliştiriyor.