research
∙
12/05/2022
Leroy and Blazy were right: their memory model soundness proof is automatable (Extended Version)
Xavier Leroy and Sandrine Blazy in 2007 conducted a formal verification,...
research
∙
03/11/2020