Now some methods like you know property model-based methods there. And based on that property model there are some tools are available like it is called ICAS utility tools or analysis tools.
કેટલીક પદ્ધતિઓ જેવી કે ગુણધર્મ મોડેલ-આધારિત પદ્ધતિઓ જેના અંતર્ગત કેટલાક ટૂલ્સ જેવા કે ICAS ઉપયોગિતા ટૂલ્સ અથવા વિશ્લેષણ ટૂલ્સ પણ ઉપલબ્ધ છે.