Skip to main content

Taming formal with intelligent automation?

Conference: Verification Futures 2024 (click here to see full programme)
Speaker: Tobias Ludwig
Presentation Title: Taming formal with intelligent automation?

Automating verification flows with the right technology stack brings us closer to what is normal in the software domain. To deal with increasing complexity a smart automation and signed-off core units are key. The presentation will guide through essential steps in the hopes to spark more people to adapt these ideas.

Speaker Bio:

- CEO of LUBIS since 2021 - PhD in Formal Verification - Leading the largest European Formal Consulting Team

Key Points:
  • Formal
  • CI/CD
  • Automation
  • Close Menu