This is the official repository of PROVE Tool - the model-based process design platform
Please cite use of the tool as: Shaked Avi, PROVE Tool: A tool for designing and analyzing process descriptions, Software Impacts, 2022, 100234, https://doi.org/10.1016/j.simpa.2022.100234.
PROVE Tool related References: [1] Shaked A., PROVE Tool: A tool for designing and analyzing process descriptions, Software Impacts, 2022, https://www.sciencedirect.com/science/article/pii/S2665963822000094 [2] Shaked, A. and Reich, Y., 2021. Designing a model-based, multi-perspective process design environment. Proceedings of the Design Society, 1, pp.1103-1112. https://doi.org/10.1017/pds.2021.110
See http://www.eng.tau.ac.il/~yoram/PROVEtool.html for further material on the PROVE methodology.