PAT (model checker)
ಪಿಎಟಿ (ಪ್ರಕ್ರಿಯೆ ವಿಶ್ಲೇಷಣೆ ಟೂಲ್ಕಿಟ್) ಯು ಏಕಕಾಲೀನ, ನೈಜ-ಸಮಯದ ವ್ಯವಸ್ಥೆಗಳು ಮತ್ತು ಇತರ ಸಂಭವನೀಯ ಕ್ಷೇತ್ರಗಳ ಸಂಯೋಜನೆ, ಅನುಕರಣೆ ಮತ್ತು ತರ್ಕಕ್ಕಾಗಿ ಸ್ವಯಂ-ಒಳಗೊಂಡಿರುವ ಚೌಕಟ್ಟಾಗಿದೆ. ಇದು ಬಳಕೆದಾರ ಇಂಟರ್ಫೇಸ್ಗಳು, ಮಾದರಿ ಸಂಪಾದಕ ಮತ್ತು ಅನಿಮೇಟೆಡ್ ಸಿಮ್ಯುಲೇಟರ್ಗಳನ್ನು ಒಳಗೊಂಡಿದೆ. ಡೆಡ್ಲಾಕ್ ಮತ್ತು ಡೈವರ್ಜೆನ್ಸ್ನಿಂದ ಸ್ವಾತಂತ್ರ್ಯ, ತಲುಪುವ ಸಾಮರ್ಥ್ಯ, ನ್ಯಾಯೋಚಿತ ಊಹೆಗಳೊಂದಿಗೆ ಎಲ್. ಟಿ. ಎಲ್ ಗುಣಲಕ್ಷಣಗಳು, ಪರಿಷ್ಕರಣೆ ಪರಿಶೀಲನೆ ಮತ್ತು ಸಂಭವನೀಯ ಮಾದರಿ ಪರಿಶೀಲನೆಯಂತಹ ವಿವಿಧ ಗುಣಲಕ್ಷಣಗಳನ್ನು ಪೂರೈಸುವ ವಿವಿಧ ಮಾದರಿ ಪರಿಶೀಲನಾ ತಂತ್ರಗಳನ್ನು ಪಿಎಟಿ ಕಾರ್ಯಗತಗೊಳಿಸುತ್ತದೆ. ಉತ್ತಮ ಕಾರ್ಯಕ್ಷಮತೆಯನ್ನು ಸಾಧಿಸಲು, ಪಿಎಟಿಯಲ್ಲಿ ಸುಧಾರಿತ ಆಪ್ಟಿಮೈಸೇಶನ್ ತಂತ್ರಗಳನ್ನು ಅಳವಡಿಸಲಾಗಿದೆ, ಉದಾಹರಣೆಗೆ. ಪಾರ್ಶಿಯಲ್ ಆರ್ಡರ್ ರಿಡಕ್ಷನ್, ಸಿಮೆಟ್ರಿ ರಿಡಕ್ಷನ್, ಪ್ರೊಸೆಸ್ ಕೌಂಟರ್ ಅಬ್ಸ್ಟ್ರಾಕ್ಷನ್. ಉಲ್ಲೇಖಗಳು ಬಾಹ್ಯ ಕೊಂಡಿಗಳು ಪಿಎಟಿ ಜಾಲತಾಣ ಪಿಎಟಿ ಫೋರಂ ಮಾದರಿ ಪರೀಕ್ಷಕರು