Hacker News new | ask | show | jobs
by giovannibonetti 22 days ago
Property testing and deterministic simulation seem like good alternatives.