This is the official webpage of the GEARS project. GEARS stands for “GPU Enabled Accelerated Reasoning About System designs”, and is a research project funded by the Netherlands Organisation for Scientific Research (NWO) via the TOP c2 program. In the menu at the top, you can find links to a project description, an introduction of our team members, a list of relevant publications, and the software produced by the project.