2 ms·RefinedC: Automating the foundational verification of C code with refine (2021)2 points by fanf2 3y ago