PAT (model checker)
পিএটি (প্রসেস অ্যানালাইসিস টুলকিট) হল সমবর্তী, রিয়েল-টাইম সিস্টেম এবং অন্যান্য সম্ভাব্য ক্ষেত্রগুলির রচনা, অনুকরণ এবং যুক্তির জন্য একটি স্বয়ংসম্পূর্ণ কাঠামো। এর মধ্যে রয়েছে ইউজার ইন্টারফেস, মডেল এডিটর এবং অ্যানিমেটেড সিমুলেটর। পিএটি বিভিন্ন বৈশিষ্ট্যের জন্য বিভিন্ন মডেল চেকিং কৌশল প্রয়োগ করে যেমন অচলাবস্থা এবং বিচ্যুতি থেকে মুক্তি, পৌঁছনোযোগ্যতা, ন্যায্যতা অনুমানের সাথে এলটিএল বৈশিষ্ট্য, পরিশোধন এবং সম্ভাব্য মডেল চেকিং। ভাল কর্মক্ষমতা অর্জনের জন্য, পিএটি-তে উন্নত অপ্টিমাইজেশন কৌশল প্রয়োগ করা হয়, যেমন। আংশিক ক্রম হ্রাস, প্রতিসাম্য হ্রাস, প্রক্রিয়া পাল্টা বিমূর্ততা। তথ্যসূত্র বাহ্যিক লিঙ্ক পিএটি ওয়েবসাইট পিএটি ফোরাম মডেল চেকার