-
- Downloads
Initial Commit
parents
Showing
- ETS.tar.gz 0 additions, 0 deletionsETS.tar.gz
- README.md 12 additions, 0 deletionsREADME.md
- formal-verification/.gitkeep 0 additions, 0 deletionsformal-verification/.gitkeep
- formal-verification/Privacy/.gitkeep 0 additions, 0 deletionsformal-verification/Privacy/.gitkeep
- formal-verification/Privacy/Anonymity_User1.out 0 additions, 0 deletionsformal-verification/Privacy/Anonymity_User1.out
- formal-verification/Privacy/Anonymity_User1.pv 360 additions, 0 deletionsformal-verification/Privacy/Anonymity_User1.pv
- formal-verification/Privacy/Anonymity_User2.out 0 additions, 0 deletionsformal-verification/Privacy/Anonymity_User2.out
- formal-verification/Privacy/Anonymity_User2.pv 362 additions, 0 deletionsformal-verification/Privacy/Anonymity_User2.pv
- formal-verification/README.md 19 additions, 0 deletionsformal-verification/README.md
- formal-verification/Trace_Properties/.gitkeep 0 additions, 0 deletionsformal-verification/Trace_Properties/.gitkeep
- formal-verification/Trace_Properties/Authentication/.gitkeep 0 additions, 0 deletionsformal-verification/Trace_Properties/Authentication/.gitkeep
- formal-verification/Trace_Properties/Authentication/Authentication_User_And_D.out 0 additions, 0 deletions...e_Properties/Authentication/Authentication_User_And_D.out
- formal-verification/Trace_Properties/Authentication/Authentication_User_And_D.pv 366 additions, 0 deletions...ce_Properties/Authentication/Authentication_User_And_D.pv
- formal-verification/Trace_Properties/Authentication/Authentication_User_And_V.out 0 additions, 0 deletions...e_Properties/Authentication/Authentication_User_And_V.out
- formal-verification/Trace_Properties/Authentication/Authentication_User_And_V.pv 371 additions, 0 deletions...ce_Properties/Authentication/Authentication_User_And_V.pv
- formal-verification/Trace_Properties/Authentication/Authentication_Users_And_T.out 0 additions, 0 deletions..._Properties/Authentication/Authentication_Users_And_T.out
- formal-verification/Trace_Properties/Authentication/Authentication_Users_And_T.pv 377 additions, 0 deletions...e_Properties/Authentication/Authentication_Users_And_T.pv
- formal-verification/Trace_Properties/Double_Refund.out 0 additions, 0 deletionsformal-verification/Trace_Properties/Double_Refund.out
- formal-verification/Trace_Properties/Double_Refund.pv 0 additions, 0 deletionsformal-verification/Trace_Properties/Double_Refund.pv
- formal-verification/Trace_Properties/Double_Transfer.out 0 additions, 0 deletionsformal-verification/Trace_Properties/Double_Transfer.out
Loading
Please register or sign in to comment