PAT (model checker)
પી. એ. ટી. (પ્રોસેસ એનાલિસિસ ટૂલકિટ) એ સમવર્તી, રીઅલ-ટાઇમ સિસ્ટમો અને અન્ય સંભવિત ક્ષેત્રોની રચના, અનુકરણ અને તર્ક માટે એક સ્વ-સમાવિષ્ટ માળખું છે. તેમાં યુઝર ઇન્ટરફેસ, મોડલ એડિટર અને એનિમેટેડ સિમ્યુલેટરનો સમાવેશ થાય છે. પી. એ. ટી. મડાગાંઠ અને વિચલનથી મુક્તિ, સુલભતા, નિષ્પક્ષતા ધારણાઓ સાથે એલ. ટી. એલ. ગુણધર્મો, શુદ્ધિકરણ તપાસ અને સંભવિત મોડેલ તપાસ જેવી વિવિધ મિલકતો માટે વિવિધ મોડેલ તપાસ તકનીકોનો અમલ કરે છે. સારું પ્રદર્શન હાંસલ કરવા માટે, પી. એ. ટી. માં અદ્યતન ઓપ્ટિમાઇઝેશન તકનીકો લાગુ કરવામાં આવે છે, દા. ત. આંશિક ક્રમમાં ઘટાડો, સમપ્રમાણતામાં ઘટાડો, પ્રક્રિયા કાઉન્ટર એબ્સ્ટ્રેક્શન. સંદર્ભો બાહ્ય કડીઓ PAT વેબસાઇટ PAT ફોરમ મોડલ ચેકર્સ