Author:
Bessa Iury,Ibrahim Hussama,Cordeiro Lucas,Chaves Filho Joao Edgar
Cited by
9 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. ESBMC-Python: A Bounded Model Checker for Python Programs;Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis;2024-09-11
2. Tight Error Analysis in Fixed-point Arithmetic;Formal Aspects of Computing;2022-03-31
3. Formal modelling of attack scenarios and mitigation strategies in IEEE 1588;Proceedings of the 19th ACM-IEEE International Conference on Formal Methods and Models for System Design;2021-11-20
4. Model checking C++ programs;Software Testing, Verification and Reliability;2021-09-08
5. Tight Error Analysis in Fixed-Point Arithmetic;Lecture Notes in Computer Science;2020