HSR Parallel Checker
Copyright © 2017 by Prof. Dr. Luc Bläser, Concurrency Lab, HSR Hochschule für Technik Rapperswil, Switzerland. All rights reserved.
The use of the program (the "software") as an interactive tool for programmers within an integrated development environment is permitted free of charge. Any other usage is forbidden. The software must not be modified, not be reversed engineered, not be distributed, not be traded, not be resold, not be sublicensed, and not be integrated in other systems except for the permitted use within an integrated development environment.
THIS SOFTWARE AND THESE DOCUMENTS ARE PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
License terms may change for future versions of the checker.