王秋叶 陈明帅 白雪0001 詹乃军（Naijun Zhan） 乔斯特·皮特·卡托恩 将归纳不变量编码为屏障证书：通过差分凸编程进行综合。 2022 abs/2209.09703 CoRR公司 https://doi.org/10.48550/arXiv.2209.09703 db/journals/corr/corr2209.html#abs-2209-09703