由于本研究的外部效度仍待验证，因此对本研究结论的外推应尤其谨慎。
With an unproven external validity, the author suggests a cautious application of this research when translated to the general field of college-choice behavior.
在运行对数据库的物理一致性检查之前，必须临时挂起待验证数据库所在的存储组的所有事务日志重播。
Before you run a physical consistency check of a database, you must temporarily suspend all transaction log replay for the storage group that contains the database to be verified.
切片方法删除了与待验证性质无关的层次和并发状态，缓解了空间爆炸问题，并且有助于模型的分析和理解。
Slicing can remove the irrelevant hierarchies and concurrent states to the property, reduce the state space, and help analyzing and understanding the models.
应用推荐