理学 模型检验 释 model checking 模型检验 对一个给定的软件或硬件系统建立模型后，需要对其进行行为上的可信性、动态性能的有效性、实验数据、可测数据的逼近精度、研究目的的可达性等问题的检验，以验证所建立的模型是否能够真实反映实际系统，或者说能够与真实系统达到较高精度的性能相似的技术。
model checking 模型检验
理论计算机科学 程序理论 释文 model checking 模型检查
- Debye cut-off frequency
- Debye dipole theory
- Debye equation
- Debye frequency
- Debye function
- Debye Huckel theory
- Debye-Huckel theory
- Debye-Hückel equation
- Debye-Hückel model
- Debye Hückel theory
- Debye-Hückel theory
- Debye length
- Debye model
- Debye model [of phonon spectrum]
- Debye model of phonon spectrum
- Debye number
- Debye, Peter Josef William
- Debye-Picht formula
- Debye potential
- Debye radius
- Debye relaxation
- Debye Scherrer method
- Debye-Scherrer method
- Debye screening
- Debye [screening] length