Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Eddie B. de Lima Filho
conf.researchr.org general profile
ISSTA/ECOOP 2024 profile
Not registered as user yet
Name:
Eddie B. de Lima Filho
Affiliation:
TPV Technology
Contributions
2024
ECOOP/ISSTA
Author of ESBMC-Python: A Bounded Model Checker for Python Programs within the Tool Demonstrations-track
Author of JCWIT: A Correctness-Witness Validator for Java Programs based on Bounded Model Checking within the Tool Demonstrations-track
Share
x
Thu 21 Nov 13:14