理学 模型检验 释 model checking 模型检验 对一个给定的软件或硬件系统建立模型后，需要对其进行行为上的可信性、动态性能的有效性、实验数据、可测数据的逼近精度、研究目的的可达性等问题的检验，以验证所建立的模型是否能够真实反映实际系统，或者说能够与真实系统达到较高精度的性能相似的技术。
model checking 模型检验
理论计算机科学 程序理论 释文 model checking 模型检查
- Congress of Aachen
- Congress of Berlin（1878）
- Congress of Panama
- Congress of Racial Equality
- Congress of the Provincial Military Governors
- Congress of Troppau and Congress of Laibach
- Congress of Verona
- Congress of Vienna
- congress of workers and staff
- Congress Socialist Party of India
- congress supervision
- Congreve crater
- congruence
- congruence arithmetic
- congruence axiom
- congruence by dissection
- congruence by ideal
- congruence class
- congruence-distributive algebra
- congruence distributivity
- congruence equation
- congruence-free condition
- congruence-free semigroup
- congruence function
- congruence group