ESBMC-Arduino: Closing the Deployment Gap for Formal Verification