and verification tasks. The goal of this internship is to
explore and evaluate the integration of LLMs assistance into the Frama-C..., MetAcsl, RPP), and
explore strategies to evaluate the robustness of synthesized specifications themselves, e.g., using Frama-C... -
Voir cette offre d'emploi