理学 模型检验 释 model checking 模型检验 对一个给定的软件或硬件系统建立模型后，需要对其进行行为上的可信性、动态性能的有效性、实验数据、可测数据的逼近精度、研究目的的可达性等问题的检验，以验证所建立的模型是否能够真实反映实际系统，或者说能够与真实系统达到较高精度的性能相似的技术。
model checking 模型检验
理论计算机科学 程序理论 释文 model checking 模型检查
- middle perversity
- middle plane
- middle Platonism
- middle point
- middle point curve
- middle point of a triangle
- middle point triangle
- Middle Power
- middle power light emitting diode chip
- middle qi
- middle range sub-system
- middle ring
- middle route of south-to-north water transfer project
- Middlesbrough
- Middle School Students
- middle seasonal rice
- middle section mill
- middle-small scale enterprise
- middle-square method
- middle storage pulverizing system
- middle term
- middle-thickness slab continuous casting and rolling
- middle tone
- Middletown: A Study in Contemporary American Culture
- middle trimester screening