$英偉達 (NVDA.US)$ 英偉達收購正式驗證公司Oski Technology。 視覺計算公司英偉達收購了正式驗...

$英偉達 (NVDA.US)$ 英偉達收購正式驗證公司Oski Technology。

視覺計算公司英偉達收購了正式驗證公司Oski Technology。

成立於2005年，Oski專注於正式驗證方法的研究，並且已經是英偉達的長期合作夥伴超過十年。該公司在San Jose、Budapest和Gurgaon設有辦公室。