Not tested, Proved. You’ll see what formal verification looks like in practice, what it actually guarantees, and why it’s worth the effort. If you’re interested in writing safer code or just want to understand where bugs hide in protocol implementations, this session will give you a clear, practical overview.
We will use a real work with real use as an example, how can we add formal verification on the CI and have more guarantees of safety without any runtime penalty.
LEVEL: Intermediate
Not tested, Proved. You’ll see what formal verification looks like in practice, what it actually guarantees, and why it’s worth the effort. If you’re interested in writing safer code or just want to understand where bugs hide in protocol implementations, this session will give you a clear, practical overview.
We will use a real work with real use as an example, how can we add formal verification on the CI and have more guarantees of safety without any runtime penalty.
RustLab is a conference made by Develer.
Develer is a company based in Campi Bisenzio, near Florence. Our motto is : "Technology to give life to your products". We produce hardware and software to create exceptional products and to improve industrial processes and people's well being.
In Develer we have passion for the new technologies and we offer our clients effective solutions that are also efficient, simple and safe for the end users. We also believe in a friendly and welcoming environment where anybody can give their contribution. This passion and this vision are what we've been driven to organize our conference "made by developers for developers".
