TACAS11: Transition Invariants and Transition Predicate Abstraction for Program Termination
来源:互联网 发布:监狱风云2知乎 编辑:程序博客网 时间:2024/06/05 10:47
Very interesting.
Normal invaraints and abstraction are for states, while this paper apply them to transitions.
But I think the disjunctive well foundness is a very well known result.
I dont understand why this paper published on TACAS 11 again, these topic are well discussed before 2006.
- TACAS11: Transition Invariants and Transition Predicate Abstraction for Program Termination
- transition
- transition
- transition
- transition
- transition
- HMM topology and transition modeling
- Handbook of IPv4 to IPv6 Transition: Methodologies for Institutional and Corporate Networks
- Transition Manager for Corona SDK: Pause, Resume and Manage all transitions in a scene
- 64-Bit transition Guide for Cocoa Touch
- 64-Bit Transition Guide for Cocoa Touch
- Transition Docbook
- Transition Function
- Transition effects
- CSS3 Transition
- CSS3 Transition
- Transition Effects
- CSS3 Transition
- ThinkPHP & Jquery Ajax分页演示
- android学习笔记之Menu
- Linux内核启动分析(1)
- 网络数据的背后——网络日志的分析指标
- 主题:设计模式之 - Bridge模式
- TACAS11: Transition Invariants and Transition Predicate Abstraction for Program Termination
- 什么是序列化,为什么要序列化?
- 淘宝面试经历(2011年3月16号)
- 老板会因为你拼命写代码而感谢你吗?
- Android开发环境搭建全程演示(jdk+eclipse+android sdk)
- 【杂谈】使用云计算服务的“利”在哪?
- 清理系统垃圾文件代码
- Bash Shell-使用内置的set和shopt命令设置bash选项
- VS2010 C++ Debug 出现错误“Cannot find or open the PDB file”(续)