Proving Functional Program Equivalence via Directed Lemma Synthesis

Yican Sun, Ruyi Ji, Jian Fang, Xuanlin Jiang, Mingshuai Chen, Yingfei Xiong^*

FM'24: 26th International Symposium on Formal Methods · September 2024

Read paper View BibTeX

BibTeX

@inproceedings{FM24,
  author = {Yican Sun and Ruyi Ji and Jian Fang and Xuanlin Jiang and Mingshuai Chen and Yingfei Xiong},
  title = {Proving Functional Program Equivalence via Directed Lemma Synthesis},
  year = {2024},
  month = {9},
  booktitle = {FM'24: 26th International Symposium on Formal Methods},
  site_corr = {6}
}