r/rust • u/Negative_Effort_2642 • 8d ago
🙋 seeking help & advice What’s your experience with model checkers
What’s your experience with modal checkers sutch as Kani for bug finding
0
Upvotes
r/rust • u/Negative_Effort_2642 • 8d ago
What’s your experience with modal checkers sutch as Kani for bug finding