A Compositional Proof Framework for FRETish Requirements

Esther Conrad, Laura Titolo, Dimitra Giannakopoulou, Thomas Pressburger, Aaron Dutle
January 2022
PDF Cite Project DOI
Type
Conference paper
Publication
In Proceedings of the 11th ACM SIGPLAN International Conference on Certified Programs and Proof, (CPP 2022)