例如，对客户机状态的监视可以主要关注剩余磁盘空间、安全状态或资产管理方面的许可证问题。
Monitoring of the client status can focus on, for example, checking the remaining disk space, the security status, or licensing issues in the context of asset management.
外部世界中有着巨大的不安、混乱和痛苦，每个人都想要他自己的空间、他自己的安全，想要逃离这可怕的不安全状态。
There is tremendous disturbance, turmoil and agony in the external world, and each one wants his own place, his own security, and wants to escape from this terrible state of insecurity.
理论分析和实验结果表明，条件化可以有效缩减程序状态空间，并且满足软件模型检测对状态缩减的安全性要求。
Theoretical analysis and experiments show that the scheme can effectively reduce a program's state space and satisfy the safety requirement imposed by software model check.
模型检测通过遍历系统所有可达的状态空间来验证系统是否满足特定的安全属性。
Model checking verifies whether a desired property holds over a given system through an exhaustive exploration of all the states reachable by the system.
模型检测通过遍历系统所有可达的状态空间来验证系统是否满足特定的安全属性。
Model checking verifies whether a desired property holds over a given system through an exhaustive exploration of all the states reachable by the system.
应用推荐