HSR Parallel Checker
Copyright © 2017-2018 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 disallowed, unless an explicit permission by the copyright holder has been obtained. 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.
Microsoft, Visual Studio and Visual Basic are either registered trademarks or trademarks of Microsoft Corporation in the United States and/or other countries.
All trademarks, trade names etc. are the property of their respective owners.
HSR, HSR Parallel Checker, and the contributors DO NOT have any affiliation with any mentioned trademark holders.
Contacts via e-mail, internet, phone etc. do not imply any contractual relationship.