الذكاء الاصطناعي
أطلقت شركة &Truth الناشئة أعمالها بتمويل قدره 70 مليون دولار لأتمتة التحقق الشكلي، وهي عملية رياضية تُثبت أن البرمجيات تعمل كما هو مقصود. وتنضم إلى Harmonic وغيرهما في سباق لجعل هذه التقنية عملية.
جارٍ التحميل…
بحث
لا هواتف وخبر واحد عن «formal verification»
الذكاء الاصطناعي
أطلقت شركة &Truth الناشئة أعمالها بتمويل قدره 70 مليون دولار لأتمتة التحقق الشكلي، وهي عملية رياضية تُثبت أن البرمجيات تعمل كما هو مقصود. وتنضم إلى Harmonic وغيرهما في سباق لجعل هذه التقنية عملية.