PAT (model checker)
PAT (செயல்முறை பகுப்பாய்வு கருவித்தொகுப்பு) என்பது ஒருங்கிணைந்த, நிகழ்நேர அமைப்புகள் மற்றும் பிற சாத்தியமான களங்களின் தொகுப்பு, உருவகப்படுத்துதல் மற்றும் பகுத்தறிவுக்கான ஒரு தன்னிறைவு கட்டமைப்பாகும். இதில் பயனர் இடைமுகங்கள், மாதிரி எடிட்டர் மற்றும் அனிமேஷன் சிமுலேட்டர் ஆகியவை அடங்கும். முட்டுக்கட்டை மற்றும் வேறுபாடு, அடையக்கூடிய தன்மை, நியாயமான அனுமானங்களுடன் எல். டி. எல் பண்புகள், சுத்திகரிப்பு சோதனை மற்றும் நிகழ்தகவு மாதிரி சோதனை போன்ற பல்வேறு பண்புகளை பூர்த்தி செய்யும் பல்வேறு மாதிரி சோதனை நுட்பங்களை பிஏடி செயல்படுத்துகிறது. நல்ல செயல்திறனை அடைய, மேம்பட்ட உகப்பாக்கம் நுட்பங்கள் PAT இல் செயல்படுத்தப்படுகின்றன, எ. கா. பகுதி வரிசை குறைப்பு, சமச்சீர் குறைப்பு, செயல்முறை எதிர் சுருக்கம். குறிப்புகள் வெளிப்புற இணைப்புகள் பிஏடி வலைத்தளம் பிஏடி மன்றம் மாதிரி சரிபார்ப்புகள்