ESBMC-Arduino: Closing the Deployment Gap for Formal Verification

The research is good - range tracking is something that ever verification model should do.

But reading words "Arduino" and "safety critical" in the same sentence jars me every time. Yes, Arduino ecosystem is large, and it is very easy to get started with it. But it's precisely for this reason it's full of awful quality code and bad practices. Most of the libraries have no error checking, no data validation and use APIs which will happily provide invalid data.