You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Intuitively, this specification may not provide a 'useful' behaviour for the simulation of other concurrency models (such as serialisation), and also may not account for all possible concurrency cases – we need to do more analysis, preferably by extending this formal verification.
The text was updated successfully, but these errors were encountered:
Noticed in design and elaborated in formal verification:
The text was updated successfully, but these errors were encountered: