pcheck is a tool for STL monitoring and other related stuff with the research activity of

-Simone Silvetti, University of Udine and Esteco Spa.

-Laura Nenzi, TU Wien.

-Luca Bortolussi, University of Trieste.

It starts from a partial fork of the project U-Check and a proper adaptation to Python.