Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456

Address: [go: Go Back, main page]

---

Remove Scripts Accept Cookies Show Images Show Referer Rotate13 Base64 Strip Meta Strip Title Session Cookies

Code For Tests Used for Probabilistic Mutual Exclusion in "Verification by Probabilistic Abstraction"

The competition section (Livelock Freedom)

• Notes
• Program
• Proof

Counter Abstraction of the full program (livelock Freedom)

• Notes
• Program
• Proof

Counter Abstraction Save One(liveness)

• Program
• Reordering of Variables (to reduce BDD size)
• Proof