2 citations · 5 across the 8 of their papers we have counts for
Showing 2011Show all
2 papers · 1 filter
cs.SE2011★ 2 cited
Exact Safety Verification of Hybrid Systems Using Sums-Of-Squares Representation
Wang Lin, Min Wu, Zhengfeng Yang +1
In this paper we discuss how to generate inductive invariants for safety verification of hybrid systems. A hybrid symbolic-numeric method is presented to compute inequality inducti…
cs.SC2011
Generating Loop Invariants by Computing Vanishing Ideals of Sample Points
Bin Wu, Liyong Shen, Min Wu +2
Loop invariants play a very important role in proving correctness of programs. In this paper, we address the problem of generating invariants of polynomial loop programs. We presen…