This repository contains all the components of the [future] TASTE Model Checker.