3 ms·
A model checker that somehow cleverly handles external input and statespace. Lacking that, haskell's type system :D
by johnbender 16y ago
A model checker that somehow cleverly handles external input and statespace.
Lacking that, haskell's type system :D