(C) 2000-2010 Michael Leuschel (and many others; see below) All rights reserved. ProB can now be used freely for commercial, non-commercial and academic use. For availability of commercial support, please contact the author (http://www.stups.uni-duesseldorf.de/~leuschel). No re-distribution allowed. Use of ProB's nauty library for symmetry reduction implies further restrictions (no applications with nontrivial military significance, see http://cs.anu.edu.au/~bdm/nauty/).
ProB comes with ABSOLUTELY NO WARRANTY OF ANY KIND ! This software is distributed in the hope that it will be useful but WITHOUT ANY WARRANTY. The author(s) do not accept responsibility to anyone for the consequences of using it or for whether it serves any particular purpose or works at all. No warranty is made about the software or its performance.
For updates and news check:
http://www.stups.uni-duesseldorf.de/ProB/