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.