Große Sprachmodelle (LLMs) können eingesetzt werden, um den manuellen Aufwand beim Portieren von C-Code zu Checked C erheblich zu reduzieren, indem sie komplexe Coderestrukturierungen und Annotationen automatisch vornehmen.
