Affiliation:
1. Federal University of Amazonas Manaus Brazil
2. Igalia A Coruña Spain
3. University of Manchester Manchester UK
Funder
Engineering and Physical Sciences Research Council
UK Research and Innovation
Subject
Safety, Risk, Reliability and Quality,Software
Cited by
11 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. ESBMC v7.3: Model Checking C++ Programs Using Clang AST;Lecture Notes in Computer Science;2023-12-02
2. Towards Integrity and Reliability in Embedded Systems: The Synergy of ESBMC and Arduino Integration;2023 XIII Brazilian Symposium on Computing Systems Engineering (SBESC);2023-11-21
3. Model checking embedded adaptive cruise controllers;Robotics and Autonomous Systems;2023-09
4. Formalizing Model Inference of MicroPython;2023 53rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops (DSN-W);2023-06
5. Finding Specification Blind Spots via Fuzz Testing;2023 IEEE Symposium on Security and Privacy (SP);2023-05