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.