Formal Verification of Annotated Textual Use-Cases
For more information see project wiki.
FOAM tool has been used to verify Cloud provider case study.
d3sreq/foam-tool
Folders and files
| Name | Name | Last commit date | ||
|---|---|---|---|---|
| Name | Name | Last commit date | ||
|---|---|---|---|---|
Formal Verification of Annotated Textual Use-Cases
For more information see project wiki.
FOAM tool has been used to verify Cloud provider case study.
