PAT (model checker)
पी. ए. टी. (प्रोसेस एनालिसिस टूलकिट) समवर्ती, वास्तविक समय प्रणालियों और अन्य संभावित क्षेत्रों की रचना, अनुकरण और तर्क के लिए एक स्व-निहित ढांचा है। इसमें यूजर इंटरफेस, मॉडल एडिटर और एनिमेटेड सिम्युलेटर शामिल हैं। पी. ए. टी. विभिन्न गुणों के लिए विभिन्न मॉडल जाँच तकनीकों को लागू करता है जैसे कि गतिरोध और विचलन से मुक्ति, पहुंच, निष्पक्षता धारणाओं के साथ एल. टी. एल. गुण, परिष्करण जाँच और संभावित मॉडल जाँच। अच्छा प्रदर्शन प्राप्त करने के लिए, पी. ए. टी. में उन्नत अनुकूलन तकनीकों को लागू किया जाता है, जैसे। आंशिक क्रम में कमी, समरूपता में कमी, प्रक्रिया काउंटर एब्स्ट्रैक्शन। संदर्भ बाहरी लिंक पी. ए. टी. वेबसाइट पी. ए. टी. फोरम मॉडल चेकर