搜索结果: 1-1 共查到“invariant generation”相关记录1条 . 查询时间(0.059 秒)
Simplifying Loop Invariant Generation Using Splitter Predicates
Static analysis invariant generation decomposition of multiphase loops
2016/5/24
We present a novel static analysis technique that substantially improves the quality of invariants inferred by standard loop invariant generation techniques. Our technique decomposes multi-phase loops...