ESBMC-Arduino: Tetter gapet mellom formell verifisering og faktisk bruk

Forskere presenterer ESBMC-Arduino, et verktøy som skal gjøre det enklere å bruke formell verifisering direkte på Arduino-baserte innebygde systemer.

Kilde: https://arxiv.org/abs/2607.08550