Über uns
Interested in writing provably correct software? Join us as we explore the world of software verification, with a focus on the Dafny language and related tools like Lean, TLA+, Quint, P, and more.
We'll meet regularly to:
Study verification languages and their semantics
Work through hands-on exercises and example problems
Share ideas, code, and techniques
Build a library of verified software components
Whether you're a beginner or experienced in formal methods, this group is a space to learn, practice, and collaborate. All curious minds welcome!
Bevorstehende Events (1)
Alles ansehen- Let’s Prove Some Code! A Dafny KickoffLink für Teilnehmer sichtbar
Join us for an interactive workshop at the Berlin Formal Methods & Software Verification Meetup where software development meets mathematics. Dive deep into the world of formal methods in software engineering and explore how mathematical techniques can be used to ensure the reliability and correctness of software systems. Whether you are a software developer, student, or just passionate about mathematics, this event is for anyone looking to enhance their skills and knowledge in this niche field. As the world tends towards "vibe coding" we run the other way to achieve formal flow, where we try to understand code at the deepest possible level.
This workshop will feature hands-on exercises, discussions, and live coding in the Dafny verification language. The goal is to apply these skills towards applications in practical everyday software.
There will be:
- An introduction to Dafny syntax and semantics
- A getting started guide
- A walkthrough of several examples
- Links to more materials
- (Optional) problems to try yourself
