注册帐号丨忘记密码？
1.点击网站首页右上角的“充值”按钮可以为您的帐号充值
2.可选择不同档位的充值金额，充值后按篇按本计费
3.充值成功后即可购买网站上的任意文章或杂志的电子版
4.购买后文章、杂志可在个人中心的订阅/零买找到
5.登陆后可阅读免费专区的精彩内容
打开文本图片集
中图分类号：TP311.1 文献标志码：A 文章编号：1001-3695（2026）03-001-0641-10doi：10.19734/j. issn.1001-3695.2025.08.0277
0 引言
程序验证1是一个确保程序行为符合预期的过程，通过形式化方法来证明程序符合其规范，确保程序在给定输入下能产生正确输出。（剩余31169字）
登录龙源期刊网
购买文章
基于秩函数合成的程序终止性验证综述
文章价格：6.00元
当前余额：100.00
阅读
您目前是文章会员，阅读数共：0篇
剩余阅读数：0篇
阅读有效期：0001/1/1 0:00:00
