SMA যাচাইকরণ

এসএমএ-র জন্য মডেল চেকিং

স্বয়ংক্রিয় যাচাইকরণ কৌশল যা টেম্পোরাল বৈশিষ্ট্য যাচাই করার জন্য একটি এসএমএ-র স্টেট স্পেস সম্পূর্ণরূপে অন্বেষণ করে। সীমিত সংখ্যক স্টেট এবং নির্ধারিত আচরণ সহ সিস্টেমের জন্য বিশেষভাবে উপযুক্ত।

← ফিরে যান