Refinement types

[Google Scholar]

Notes:
Papers:

  • RefinedC: Automating the foundational verification of C code with refined ownership types [sammler:pldi:2021]