કેટલીક પદ્ધતિઓ જેવી કે ગુણધર્મ મોડેલ-આધારિત પદ્ધતિઓ જેના અંતર્ગત કેટલાક ટૂલ્સ જેવા કે ICAS ઉપયોગિતા ટૂલ્સ અથવા વિશ્લેષણ ટૂલ્સ પણ ઉપલબ્ધ છે.
आता तेथे प्रॉपर्टी मॉडेल-आधारित पद्धतीसारख्या काही पद्धती आणि त्या प्रॉपर्टी मॉडेलच्या आधारे काही साधने उपलब्ध आहेत जशी त्याला ICAS युटिलिटी टूल्स किंवा विश्लेषण टूल्स म्हणतात.