[C-rusted] C-rusted Paper at ewC 2024

Hello everyone, at the following link you can find the C-rusted paper presented at the embedded world Conference 2024 in Nuremberg, Germany, Session 6.13: Systems & Software Engineering, C/C++ https://www.bugseng.com/sites/default/files/resources/C-rusted_a_Formally_Ve... Any feedback is appreciated. -- Federico Serafini, M.Sc. Software Engineer, BUGSENG (http://bugseng.com)