research
∙
02/23/2018
A general formal memory framework in Coq for verifying the properties of programs based on higher-order logic theorem proving with increased automation, consistency, and reusab
In recent years, a number of lightweight programs have been deployed in ...
research
∙
02/23/2018