This paper presents an automated tool for verifying Business Process Model and Notation (BPMN) workflows by generating Promela code and Linear Temporal Logic (LTL) properties. The tool integrates ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results