Encoding inductive invariants as barrier certificates: Synthesis via difference-of-convex programming

Information and Computation, vol. 289, pp. 104965

Authors 5

1. Qiuye Wang

   Chinese Academy of Sciences · Institute of Software · University of Chinese Academy of Sciences · State Key Laboratory of Computer Science

   Affiliation as printed

   State Key Laboratory of Computer Science, Institute of Software, CAS, Beijing, China

   University of Chinese Academy of Sciences, Beijing, China

2. Mingshuai Chen corresponding Aachen

   RWTH Aachen University

   Affiliation as printed

   RWTH Aachen University, Aachen, Germany

3. Xue Bai

   Chinese Academy of Sciences · Institute of Software · University of Chinese Academy of Sciences · State Key Laboratory of Computer Science

   Affiliation as printed

   State Key Laboratory of Computer Science, Institute of Software, CAS, Beijing, China

   University of Chinese Academy of Sciences, Beijing, China

4. Naijun Zhan corresponding

   Chinese Academy of Sciences · Institute of Software · University of Chinese Academy of Sciences · State Key Laboratory of Computer Science

   Affiliation as printed

   Science and Technology on Integrated Information System Laboratory, Institute of Software, CAS, Beijing, China

   State Key Laboratory of Computer Science, Institute of Software, CAS, Beijing, China

   University of Chinese Academy of Sciences, Beijing, China

5. Joost-Pieter Katoen Aachen

   RWTH Aachen University

   Affiliation as printed

   RWTH Aachen University, Aachen, Germany