Hacker News new | ask | show | jobs
by johnbender 5673 days ago
A model checker that somehow cleverly handles external input and statespace.

Lacking that, haskell's type system :D