Mi Ding, Kaipeng Lin, Wang Lin, Zuohua Ding. A Novel Counterexample-Guided Inductive Synthesis Framework for Barrier Certificate Generation. In IEEE 33rd International Symposium on Software Reliability Engineering, ISSRE 2022, Charlotte, NC, USA, October 31 - Nov. 3, 2022. pages 263-273, IEEE, 2022. [doi]
Abstract is missing.