Eddie B. de Lima Filho

ESBMC-Python helps verify Python code correctness using type annotations and bounded model checking.