Quickcheck tutorial

Testing elevator software with Erlang QuickCheck