Simulation-Based Invariant Verification Technique for the OTS/CafeOBJ Method
Sign Up to like & getrecommendations! Published in 2021 at "IEEE Access"
DOI: 10.1109/access.2021.3093211
Abstract: We demonstrate the power of the simulation-based invariant verification technique through two case studies in which it is formally verified that two mutual exclusion protocols, MCS protocol and Anderson protocol, enjoy the mutual exclusion property… read more here.
Keywords: invariant verification; tex math; inline formula; based invariant ... See more keywords