理学 模型检验 释 model checking 模型检验 对一个给定的软件或硬件系统建立模型后，需要对其进行行为上的可信性、动态性能的有效性、实验数据、可测数据的逼近精度、研究目的的可达性等问题的检验，以验证所建立的模型是否能够真实反映实际系统，或者说能够与真实系统达到较高精度的性能相似的技术。
model checking 模型检验
理论计算机科学 程序理论 释文 model checking 模型检查
- red supergiant
- red supergiant stars
- red swamp crawfish culture
- red swamp crayfish
- Red-tailed gerbil
- redtail shrimp
- Red teachers' Federation of Hubei, Henan and Anhui
- red thread
- red tide
- red tide disasters in China
- red tide monitoring
- red tide organism
- red tongue
- Red tourism
- redtree ant
- Red Troop of Honghu
- red turpentine beetle
- reduced
- reduced Abelian group
- reduced Abelian p-group
- reduced affine scheme
- reduced algebra
- reduced amicable pair
- reduced analytic space
- reduced automaton