Acknowledgments

The ESBMC development was supported by various research funding agencies, including CNPq (Brazil), CAPES (Brazil), FAPEAM (Brazil), EPSRC (UK), Royal Society (UK), British Council (UK), European Commission (Horizon 2020), and companies including Intel, Nokia Institute of Technology and Samsung. ESBMC is currently funded by Intel, EPSRC grants EP/T026995/1, EP/V000497/1, EU H2020 ELEGANT 957286 and Soteria project awarded by the UK Research and Innovation for the Digital Security by Design (DSbD) Programme.