معلومات المصدر
- المستودع
- NeuralBlitz/Mito
- آخر نشاط في المصدر
- ٢٢ مارس ٢٠٢٦ في ١٣:٢٩
- لغة SKILL.md المكتشفة
- الإنجليزية
- النجوم
- ٠
- التفرعات
- ٠
خيارات التثبيت
يُحدَّد Prompt الذي يراجع المصدر أولًا بشكل افتراضي. يمكنك التبديل إلى أمر مباشر أو تنزيل نسخة محلية.
مراجعة ملفات المصدر
اقرأ SKILL.md وأي ملفات مرافقة يعرضها SkillsMP قبل أن تقرر التثبيت.
عرض SKILL.md
SKILL.md
تعليمات المصدر · معاينة للقراءة فقط- name
- model-checking
- description
- Model checking, temporal logic, and system verification
- license
- MIT
- compatibility
- opencode
- metadata
- {"audience":"researchers","category":"computer-science"}
## What I do
- Verify system properties
- Apply model checking tools
- Specify requirements formally
- Find bugs in systems
## When to use me
When working on formal verification or system correctness.
## Key Concepts
- CTL/LTL
- SPIN
- NuSMV
- Abstraction
- Counterexamples
- State explosion
- Bounded model checking
عرض على GitHub