Source code can also be downloaded via the snapshot links on Gitweb (found in
the __See Also__ section).
-Get the benchmarks (not required; distributed separately):
+Get the benchmarks (not required; distributed separately), placing them as a
+subdirectory under the `model-checker` directory:
cd model-checker
git clone git://demsky.eecs.uci.edu/model-checker-benchmarks.git benchmarks