搜索结果: 1-1 共查到“操作系统与操作环境 Model Checking Real Code”相关记录1条 . 查询时间(0.092 秒)
CMC:A Pragmatic Approach to Model Checking Real Code
CMC Pragmatic Approach Model Checking Real Code
2015/8/7
Many system errors do not emerge unless some intricate sequence of events occurs. In practice, this means that most systems have errors that only trigger after days or weeks of execution. Model checki...