排序方式: 共有1条查询结果,搜索用时 15 毫秒
1
1.
Straunstrup J. Andersen H.R. Hulgaard H. Lind-Nielsen J. Behrmann G. Kristoffersen K. Skou A. Leerberg HH. Theilgaard N.B. 《Computer》2000,33(5):68-75
Using a new verification algorithm called the compositional backward technique, the authors demonstrate that they can exhaustively verify even the largest industrial applications-comprising more than 1,000 components-in a few minutes on a standard PC 相似文献
1