排序方式: 共有1条查询结果,搜索用时 0 毫秒
1
1.
依据现有循环不变式的定义和开发策略,阐述了一类单元赋值语句型循环不变式开发方法,同时使用 Dijkstra 最弱前置谓词方法确认了循环不变式的正确性。最后通过典型实例来说明该方法的应用。 相似文献
1