搜索结果: 1-1 共查到“计算机科学技术 Model Checking Real Code”相关记录1条 . 查询时间(0.117 秒)
CMC:A Pragmatic Approach to Model Checking Real Code
CMC Pragmatic Approach Model Checking Real Code
font style='font-size:12px;'>
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...