Interpolation−based verification of floating−point programs with abstract CDCL

Interpolation−based verification of floating−point programs with abstract CDCL

عرض إصدارات أخرى (1)
التفاصيل البيبلوغرافية
المؤلفون الرئيسيون: Brain, M, D’Silva, V, Griggio, A, Haller, L, Kroening, D
التنسيق: كتاب
منشور في: 2013
الوصف
الملخص:

مواد مشابهة