1对变量的写入操作不依赖其当前值
不满足:number++/count = count*5等
满足Boolean变量、记录温度变化的变量等
2.该变量没有包含在具有其他变量的不变式中
不满足:不变式low<up
【推荐】还在用 ECharts 开发大屏?试试这款永久免费的开源 BI 工具!
【推荐】国内首个AI IDE,深度理解中文开发场景,立即下载体验Trae
【推荐】编程新体验,更懂你的AI,立即体验豆包MarsCode编程助手
【推荐】轻量又高性能的 SSH 工具 IShell:AI 加持,快人一步