ESBMC-Arduino는 형식 검증을 위한 배포 격차를 해소하는 것을 목표로 한다. 이 연구는 관련 기술에 대한 정보를 제공한다.