Abstract: We’ve developed and evaluated a new method called ESBMC-Arduino that combines the ESBMC model checker with the Arduino hardware platform. This verification method helps ensure the safety and ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results
Feedback