search

anmavrid / smart-contracts

https://cps-vo.org/group/smartcontracts
MIT License
119 stars 30 forks source link

BugFix: Corrected NuXmv Translation for Property 2 #10

Closed Atefeh-Zareh closed 1 year ago

Atefeh-Zareh commented 1 year ago

Refined Property 2 translation NuXmv to match VeriSolid paper's Property 2 CTL formula. Corrected NuXmv is:

//CTLSPEC ! E[!(property[1]) U (property[0] & !(property[1]))]