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

---

Verification by theorem proving: issues and challenges

• Provisional extended abstract
  (warning: written in a hurry before the talk was prepared)
  [ postscript | tex ]

• Revised and corrected version of the talk given at CAV 2003
  [ postscript (for fullscreen GSview) | pdf (for fullscreen acroread) ]

---