(Created page with 'Category:User Manual == ProB Licence == (C) 2000-2010 Michael Leuschel (and many others; see below) All rights reserved. ProB can now be used freely for commercial, non-co…') |
|||
| Line 3: | Line 3: | ||
== ProB Licence == | == ProB Licence == | ||
The ProB source code is distributed under the [http://www.eclipse.org/org/documents/epl-v10.html EPL license] (see also [[Getting_Involved|Getting Involved]]). | |||
(C) 2000- | (C) 2000-2011 Michael Leuschel and many others. | ||
ProB comes with ABSOLUTELY NO WARRANTY OF ANY KIND ! | ProB comes with ABSOLUTELY NO WARRANTY OF ANY KIND ! | ||
| Line 22: | Line 14: | ||
the software or its performance. | the software or its performance. | ||
The ProB binary and source distributions contain the nauty library which imply further | |||
restrictions: the ProB model checker with nauty symmetry reduction cannot be used for applications with nontrivial military | |||
significance, see http://cs.anu.edu.au/~bdm/nauty/. | |||
For availability of commercial support, please contact [http://www.formalmind.com/ Formal Mind]. | |||
The ProB source code is distributed under the EPL license (see also Getting Involved).
(C) 2000-2011 Michael Leuschel and many others.
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.
The ProB binary and source distributions contain the nauty library which imply further restrictions: the ProB model checker with nauty symmetry reduction cannot be used for applications with nontrivial military significance, see http://cs.anu.edu.au/~bdm/nauty/.
For availability of commercial support, please contact Formal Mind.