理学 模型检验 释 model checking 模型检验 对一个给定的软件或硬件系统建立模型后，需要对其进行行为上的可信性、动态性能的有效性、实验数据、可测数据的逼近精度、研究目的的可达性等问题的检验，以验证所建立的模型是否能够真实反映实际系统，或者说能够与真实系统达到较高精度的性能相似的技术。
model checking 模型检验
理论计算机科学 程序理论 释文 model checking 模型检查
- tooth contact analysis
- tooth drops
- tooth dysplasia
- toothed roll sheller
- tooth fractures
- tooth germ
- tooth loss in seniors
- tooth-marked tongue
- tooth notching
- tooth plastic deformation
- tooth restoration
- tooth-roller crusher
- tooth supported fixed partial denture
- tooth surface
- Too True to Be Good
- Toowoomba
- top
- Top 100 Scores of Yunnan Flower Lantern Opera
- Top10 Photojournalist Competition
- Top 13 Operatic Artists in the Tongzhi and Guangxu Periods
- Top 30 cultural enterprises in China
- top and bottom combined blown steelmaking process
- topaz
- topazone
- top carnivore