1) Safety analyze and verification
安全性﹑分析与验证
2) Safety verification
安全性验证
1.
A goal-based automatic conversion approach for the safety verification of programs
一种为程序的安全性验证所设计的面向对象的自动转换方法
2.
This work provided a new framework for the safety verification of communication protocols.
采用接口技术对行为模型和属性模型进行组合约简,通过观察组合模型中错误状态是否可达来判定协议是否安全,为安全通信协议的安全性验证提供了一种新的框架。
4) safety and complexity analysis
安全与复杂性分析
6) program security validation
程序安全性验证
补充资料:安全性分析
联系企业资金运用和筹措的关系,对企业财务风险的分析。是企业经营分析的重要内容之一。
企业的财务风险主要来自于负债。企业负债过多会导致利息负担过重而影响盈利水平,同时增加偿债风险,一旦无法清偿到期负债,未到期债权人也会纷涌而至追索债务,甚至造成资不抵债直至破产。但企业经营中也不能只靠自有资金来满足需要,借款实际是利用他人资金为本企业盈利。因此由自有资金和借入资金比例所形成的资金结构,就成为财务管理的主要问题。安全性分析的重点在于考察企业资金运用和筹措之间的关系是否适当。一般采用以下指标:
①
②
③
④
将上述各种比率与前期或目标对比,并分析各比率变动的原因,以对症下药改善企业的安全性。对此,一般注意掌握以下原则:①确保企业资金的正常需要;②确保资金供应的适时性;③适当的资金使用成本;④根据资金的具体用途选择筹措方式;⑤充分考虑企业的盈利能力和安全性。上述原则是相互联系的,分析时不可顾此失彼,必须综合考虑。
企业的财务风险主要来自于负债。企业负债过多会导致利息负担过重而影响盈利水平,同时增加偿债风险,一旦无法清偿到期负债,未到期债权人也会纷涌而至追索债务,甚至造成资不抵债直至破产。但企业经营中也不能只靠自有资金来满足需要,借款实际是利用他人资金为本企业盈利。因此由自有资金和借入资金比例所形成的资金结构,就成为财务管理的主要问题。安全性分析的重点在于考察企业资金运用和筹措之间的关系是否适当。一般采用以下指标:
①
②
③
④
将上述各种比率与前期或目标对比,并分析各比率变动的原因,以对症下药改善企业的安全性。对此,一般注意掌握以下原则:①确保企业资金的正常需要;②确保资金供应的适时性;③适当的资金使用成本;④根据资金的具体用途选择筹措方式;⑤充分考虑企业的盈利能力和安全性。上述原则是相互联系的,分析时不可顾此失彼,必须综合考虑。
说明:补充资料仅用于学习参考,请勿用于其它任何用途。
参考词条