理学 模型检验 释 model checking 模型检验 对一个给定的软件或硬件系统建立模型后，需要对其进行行为上的可信性、动态性能的有效性、实验数据、可测数据的逼近精度、研究目的的可达性等问题的检验，以验证所建立的模型是否能够真实反映实际系统，或者说能够与真实系统达到较高精度的性能相似的技术。
model checking 模型检验
理论计算机科学 程序理论 释文 model checking 模型检查
- tangentoidal curve
- tangentor
- tangent osculating circle
- tangent osculating half-space
- tangent parallelogram
- tangent plane
- tangent process
- tangent representation
- tangent r-frame
- tangent r-frame bundle
- tangent rule
- tangent set
- tangent sheaf
- tangents law
- tangent space
- tangent speed
- tangent sphere
- tangent sphere bundle
- tangent-sphere coordinate
- tangent spheres
- tangent subbundle
- tangent subspace
- tangent surface
- tangent theorem
- tangent to a curve