$英偉達 (NVDA.US)$ 英維達收購正式驗證公司奧斯基科技 視覺計算公司 Nvidia 已收購正式驗證公司奧斯基...

$英偉達 (NVDA.US)$ 英維達收購正式驗證公司奧斯基科技

視覺計算公司 Nvidia 已收購正式驗證公司奧斯基科技。

Oski 成立於 2005 年，專注於正式驗證方法的研究，並已成為 NVIDIA 的長期合作夥伴十多年。該公司在聖何塞，布達佩斯和古爾岡設有辦事處。