يعرض 1 - 1 نتائج من 1 نتيجة بحث عن '"oracle-guided inductive synthesis"', وقت الاستعلام: 0.62s تنقيح النتائج
  1. 1
    A Platform-Based Approach to Verification and Synthesis of Linear Temporal Logic Specifications

    المؤلفون: Iannopollo, Antonio

    مصطلحات موضوعية: Computer science, assume guarantee contracts, counterexample-guided inductive synthesis, decomposition, linear temporal logic, oracle-guided inductive synthesis, refinement

    وصف الملف: application/pdf

    URL الوصول: https://escholarship.org/uc/item/0xx972bn

    View record in eScholarship

    أضف إلى المفضلة
أدوات البحث: أحصل على تغذية RSS – أرسل هذا البحث بالبريد الإلكتروني – حفظ البحث – جدول التنبيهات: لا شيء