理学 模型检验 释 model checking 模型检验 对一个给定的软件或硬件系统建立模型后，需要对其进行行为上的可信性、动态性能的有效性、实验数据、可测数据的逼近精度、研究目的的可达性等问题的检验，以验证所建立的模型是否能够真实反映实际系统，或者说能够与真实系统达到较高精度的性能相似的技术。
model checking 模型检验
理论计算机科学 程序理论 释文 model checking 模型检查
- fully ionized plasma
- fully loaded standby
- fully normal space
- fully-oriented filament
- fully oriented yarn
- fully penetrating well
- fully polynomial-time approximation scheme
- fully reducible representation
- fully regular product
- fully solvable Lie algebra
- fully solvable Lie group
- fully steerable dish
- Fully Steerable Parabolic Radio telescope
- fully steerable radio telescope
- fully steerable reflector
- fully supported stellation
- fully transitive group
- full-time postgraduate education
- fulminant diarrhes
- fulminant jaundice
- fulminant wind-heat invasion
- fulminate
- fulminic acid
- Fultograph
- Fulton gap