can we convert C/C++ code into models (FSM etc) so that afterwards UPPAAL can be used for verification? Does UPPAAL or any other tool offer this feature? Thanks
I tried online forums and google but did not find appropriate answer.
Asked
Active
Viewed 64 times
0
-
Long time ago there were student projects translating LEGO NQC code into Uppaal, so that is possible in principle. There are also projects translating binary code into model of instructions with cache timings etc. Meanwhile C++ is just too complicated to parse, I am not aware of such projects. – mariusm Apr 07 '23 at 10:10