ESBMC-Arduino: formalna weryfikacja kodu dla mikrokontrolerów

Naukowcy opublikowali pracę na arXiv opisującą narzędzie ESBMC-Arduino, które ma zamknąć lukę między formalną weryfikacją oprogramowania a jego wdrożeniem na mikrokontrolerach Arduino. Celem jest umożliwienie programistom embedded wykrywania błędów formalnie przed uruchomieniem kodu na sprzęcie. Artykuł ma 3 punkty i żadnych komentarzy na Hacker News.