“formal verification but it's a lot easier to apply. So it…” — The Pragmatic Engineer at 1:03:53
“formal verification but it's a lot easier to apply. So it sounds like it can be a nice middle ground in terms of getting started with it and probably just stopping with it because I think that I love formats but I think it's a fairly niche tool for most people and I think like property based”
0:00
1:23:42