SoftwareEngineeringToolDemos / FSE-2011-PSPWizard

PSPWizard: Machine-assisted Definition of Temporal Logical Properties with Specification Patterns

Home Page:http://www.ict.swin.edu.au/personal/mlumpe/PSPWizard/index.html

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

Broken Links

Atefeh-Zareh opened this issue · comments

Thank you for your valuable open-source contributions.

It seems that the links to the Original Project Page and Download Page are not functional. I kindly request that you update the reference to the project.

Best regards,
Atefeh