ESBMC-Python: A Bounded Model Checker for Python Programs.

Bruno Farias, Rafael Menezes, Eddie B. de Lima Filho, Youcheng Sun, Lucas C. Cordeiro

Browse the full ISSTA paper archive.