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
最新推荐文章于 2018-03-12 16:26:00 发布