Skip to content

Details

Software without bugs! Wouldn't that be nice? Unfortunately, formal proofs are impractical for most of us. Writing tests, on the other hand, we are quickly outnumbered by possibilities. Can we do better?

Sean Payne (Software Engineer at Braid) will talk about his experience with property based testing, a practical and powerful hybrid of formal methods and handwritten tests. Join us to learn about the benefits and challenges of this approach, as well as about using it in your Rust projects.

Agenda

  • 30 minutes open chat
  • 45 minutes presentation & questions
  • 30 minutes open chat with FREE FOOD & BEER

IMPORTANT: Attendees must be at least 20 years old due to WeWork's rules.

Events in 東京都, JP
Rust
Computer Programming
Software Development
Software QA and Testing
Formal Methods

Members are also interested in