Position Paper, Engineering Trustworthy Software - A Mission for LLMs! Keynote at LADC 2024, "LLMs for Trustworthy Software Engineering - Insights and Challenges", Recife, PE, Brazil, November 28, 2024