Researchers at the University of Manchester propose ESBMC-Python: the first BMC-based Python code checker for formal verification of Python programs 07/08/2024