المهنة
مطوّرو البرمجيات
الوصف
Use when asked to proofread, review, or 校对 code or documents for correctness, logical consistency, or quality issues. Covers general code logic review (any language), plus formal-verification backends for C (ACSL contracts via Frama-C static proof and E-ACSL…
لغة النص الأصلي: الصينية
آخر تحديث