About the Parallel Checker
The Parallel Checker is a research product developed by Prof. Dr. Luc Bläser at the HSR Concurrency Lab, Institute for Network Solutions, HSR Hochschule für Technik Rapperswil, Switzerland.
The HSR Concurrency Lab offers expert knowledge in concurrency and parallelization for different technologies. It works together with the industry and companies to support them by software engineering, consulting, and applied research.
For more information, please see the HSR Concurrency Website.