ALL SPEAKERS
SESSIONS
SCHEDULE TBD
KEYNOTE
When testing just doesn’t cut it
AT A GLANCE
Role
Chief Evangelist
Organisation
Giesecke+Devrient
Category
Hero
ABOUT THE SPEAKER
Lars is an Evangelist at Giesecke+Devrient, a security technology company. An engineer at heart, they are working to bring modern financial services to people. Lars writes articles and talks about a multitude of topics.
TALK
When testing just doesn’t cut it
Writing unit tests is pretty much standard practice these days. Otherwise, how would you make sure that your code does what you expect? Yet, some software is mission-critical and merely testing a few examples – or even randomized testing – is not enough. To reach higher levels of assurance, we need proof: mathematical, formal proof. This session will be based on an example from industry, where we successfully verified the core of a financial application. I will describe the core architecture of the system and the mathematical foundations behind the verification, including the classes of problems that we can (or cannot) discover with this approach.
MORE VOICES
Other speakers at code.talks
See them live — and 100+ more.
One ticket, every track. Nov 4–5, 2026 at Kinopolis Hamburg.
Get your ticket





