Welcome to TemPsy-Report
TemPsy-Report is a tool for collecting violation information from a faulty execution trace that is in violation of TemPsy properties. The tool has been developed by Wei Dou, at the SVV lab of the University of Luxembourg.
TemPsy-Report is a tool for collecting violation information from a faulty execution trace that is in violation of TemPsy properties. The tool has been developed by Wei Dou, at the SVV lab of the University of Luxembourg.