Erlang QuickCheck What is QuickCheck? QuickCheck is a language for stating properties of programs. ?FORALL(X, nat(), X*X >= 0)
