AWS re:Inforce 2025 - Create memory safe applications using open source verification tools (APS442) | AWS Events | Podwise