Formal Verification of Annotated Textual Use-Cases
For more information see project wiki.
FOAM tool has been used to verify Cloud provider case study.
Formal Verification of Annotated Textual Use-Cases
For more information see project wiki.
FOAM tool has been used to verify Cloud provider case study.