Hacker News new | ask | show | jobs
by pas 3254 days ago
Or just dumb fuzzing. Or a testnet. Or whatever the fancy word for static verification is nowadays.