tla-checking-workflow
TLA+ Model Checking workflow. Use when: (1) running TLC model checking or simulation on a TLA+ spec, (2) analyzing counterexamples from invariant violations, (3) determining whether a violation is an invariant mismatch, a spec issue, or a real bug in the system implementation.
معلومات المصدر
- المستودع
- specula-org/Specula
- آخر نشاط في المصدر
- ١٦ يوليو ٢٠٢٦ في ١٢:٥٥
- لغة SKILL.md المكتشفة
- الإنجليزية
- النجوم
- ٤٢١
- التفرعات
- ٤٥
خيارات التثبيت
يُحدَّد Prompt الذي يراجع المصدر أولًا بشكل افتراضي. يمكنك التبديل إلى أمر مباشر أو تنزيل نسخة محلية.
مراجعة ملفات المصدر
اقرأ SKILL.md وأي ملفات مرافقة يعرضها SkillsMP قبل أن تقرر التثبيت.
