About the Parallel Checker
The Parallel Checker is a research product developed by Prof. Dr. Luc Bläser at the Concurrency Lab at OST - Ostschweizer Fachhochschule, Eastern Switzerland University of Applied Sciences.
The 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 OST Concurrency Lab Website.