Login / Signup

RefinedC: automating the foundational verification of C code with refined ownership types.

Michael SammlerRodolphe LepigreRobbert KrebbersKayvan MemarianDerek DreyerDeepak Garg
Published in: PLDI (2021)
Keyphrases
  • information retrieval
  • information systems
  • model checking
  • digital libraries
  • expert systems
  • source code