Proving Functional Program Equivalence via Directed Lemma Synthesis

Yican Sun, Ruyi Ji, Jian Fang, Xuanlin Jiang, Mingshuai Chen, Yingfei Xiong
June 2024
PDF Source Document
Type
Conference paper
Publication
To appear at the 26th International Symposium on Formal Methods (FM'24)

Related