All Stories

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

    Article • September 2024, ACM (Association for Computing Machinery)

    Bruno Farias, Lucas Cordeiro