理学 模型检验 释 model checking 模型检验 对一个给定的软件或硬件系统建立模型后，需要对其进行行为上的可信性、动态性能的有效性、实验数据、可测数据的逼近精度、研究目的的可达性等问题的检验，以验证所建立的模型是否能够真实反映实际系统，或者说能够与真实系统达到较高精度的性能相似的技术。
model checking 模型检验
理论计算机科学 程序理论 释文 model checking 模型检查
- beta function
- beta-function
- beta galactosidase
- beta-galactosidase
- beta-globin aplastic anemia
- beta glove box
- beta glucosidase
- beta-glucosidase
- beta-glucosidase ( beta-G)
- beta hairpin
- beta-hairpin
- beta helix
- beta-helix
- beta hydoxyethyl methacrylate
- beta-hydoxyethyl methacrylate
- beta hydroxyethylbenzene
- beta-hydroxyethylbenzene
- betaine amphoteric surfactant
- beta-integral
- beta-invariant
- Beta Israel
- beta lactam antibiotic
- beta-lactam antibiotic
- beta lactone
- beta-lactone