logoalt Hacker News

ESBMC-Arduino: Closing the Deployment Gap for Formal Verification

5 pointsby Jimmc414today at 12:58 AM1 commentview on HN

Comments

theamktoday at 2:12 AM

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.