理学 模型检验 释 model checking 模型检验 对一个给定的软件或硬件系统建立模型后，需要对其进行行为上的可信性、动态性能的有效性、实验数据、可测数据的逼近精度、研究目的的可达性等问题的检验，以验证所建立的模型是否能够真实反映实际系统，或者说能够与真实系统达到较高精度的性能相似的技术。
model checking 模型检验
理论计算机科学 程序理论 释文 model checking 模型检查
- Jilin-1 satellite constellation
- Jilin Art Academy
- Jilin Catholic Church
- Jilin Changbaishan National Nature Reserve
- Jilin Chinese Opera Theater Ji Opera Troupe
- Jilin Confucian Temple
- Jilin Dongfang Theatre
- Jilin Gaoxin Jishu Chanye Kaifaqu
- Jiling meteorite
- Jilin horse
- Jilin Institute Of Physical Education
- Jilin Jingji Jishu Kaifaqu
- Jilin King of Yew
- Jilin meteorite
- Jilin Meteorite Gallery
- Jilin Meteorite Shower
- Jilin Momoge Guojiaji Ziran Baohuqu
- Jilin Nong'an Taipingchi Guojia Shidi Gongyuan
- Jilin Opera School
- Jilin Petro-Chemical Co. Ltd. 11.13 fire case
- Jilin Province Museum of Natural History
- Jilin Provincial Archives
- Jilin Provincial Art Museum
- Jilin Provincial Library
- Jilin Publishing Group Co.,Ltd.