SecureBPMN
/
SecureBPMN
Archived
1
0
Fork 0
Code Issues Pull Requests Releases Activity

Documented that SATMC is required for verification.

This commit is contained in:
Achim D. Brucker 2015-05-25 09:02:37 +02:00
parent 6a6a19be46
commit 07ce421461
1 changed files with 2 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
README.md
View File

@ -15,6 +15,8 @@ the model and the actual implementation.
## Installation
### Prerequisites
* Eclipse Helios
* SATMC (http://www.ai-lab.it/satmc/), version 3.3.x
(for the formal analysis of secure business processes)
### Preparing the Eclipse environment
To initialize the Eclipse project structure, please do