Get rid of inline assembly through verification-oriented lifting

Frédéric Recoules, Sébastien Bardin, Richard Bonichon +2

Formal methods for software development have made great strides in the last two decades, to the point that their application in safety-critical embedded software is an undeniable s…