The BugBash Podcast cover image

Re-Designing Data-Intensive Applications: The Shift to Cloud-Native Storage

The BugBash Podcast

00:00

When to Use Formal Methods vs Tests

Chris and David discuss trade-offs: formal methods for adversarial/high-risk domains, testing for broader practical coverage.

Play episode from 01:00:49
Transcript

The AI-powered Podcast Player

Save insights by tapping your headphones, chat with episodes, discover the best highlights - and more!
App store bannerPlay store banner
Get the app