理学 模型检验 释 model checking 模型检验 对一个给定的软件或硬件系统建立模型后，需要对其进行行为上的可信性、动态性能的有效性、实验数据、可测数据的逼近精度、研究目的的可达性等问题的检验，以验证所建立的模型是否能够真实反映实际系统，或者说能够与真实系统达到较高精度的性能相似的技术。
model checking 模型检验
理论计算机科学 程序理论 释文 model checking 模型检查
- consolidated psychological operations
- Consolidated standards of reporting trials (CONSORT) statements
- consolidated supervision by home country
- consolidated taxes on miscellaneous items
- consolidated transportation
- consolidate rate
- consolidating exterior to arrest sweating
- consolidation
- consolidation and settlement of soil
- consolidation deformation and settlement of hydraulic fill
- consolidation grouting
- consolidation mode of hollowed village
- consolidation potential of hollowed village
- consolidation services
- consolidation test
- consolute temperature
- consonance
- consonant
- consonant inventory
- consonant pattern
- consort
- consortia ascquisition
- consortium loan
- Consort Min
- CONSORT声明