理学 模型检验 释 model checking 模型检验 对一个给定的软件或硬件系统建立模型后，需要对其进行行为上的可信性、动态性能的有效性、实验数据、可测数据的逼近精度、研究目的的可达性等问题的检验，以验证所建立的模型是否能够真实反映实际系统，或者说能够与真实系统达到较高精度的性能相似的技术。
model checking 模型检验
理论计算机科学 程序理论 释文 model checking 模型检查
- time scheme
- Times Daily
- time sequence
- time sequence logic circuit
- time sequential analysis
- time serial design
- time series
- time series analysis
- time series analysis in remote sensing
- time-series analysis of paleoclimate data
- time series data
- time-series data
- time series data mining
- time series design method
- time series diagram
- time series forecasting
- time series forecasting method
- time series model
- time series modeling
- time series prediction model
- time series stationarization
- time series visualization
- time server
- time service
- time service system