Searching protocol for "counterexample generation"
Decode Ivy verification failures.
Turn verification failures into reproducible tests.
Debug proof failures with counterexamples.
Debug failures with concrete examples.
Debug failures by explaining counterexamples.
Understand and fix model checker failures.
Reproduce model checker bugs in code.
Explore conjectures to build toward proofs.
Break down solutions, find flaws.
Fix code bugs with TLA+ insights
Property-based testing for Rust made practical.
Find bugs with random tests.