research
∙
03/04/2021
Natural Hoare Logic: Towards formal verification of programs from logical forms of natural language specifications
Formal verification provides strong guarantees of correctness of softwar...
share
research
∙
11/10/2020
