Towards an Axiomatic Basis for C++

Gregory Malecha, Abhishek Anand, and Gordon Stewart

coq c++ program verification separation logic axiomatic semantics

paper slides conference link talk

Citation (BibTex) 

@inproceedings{malecha2020-axiomatic-cpp,
  title={Towards an {A}xomatic {B}asis for {C++}},
  author="Gregory Malecha and Abhishek Anand and Gordon Stewart",
  booktitle={The 11th Coq Workshop},
  location={online},
  year="2020",
  month="July"
}