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

The meta-interpreter supports tabled LP and coinduction.

• Tabled LP is supported following the DRA strategy of Guo and Gupta.
• Tabling and coinduction are used to develop an implementation of an LTL model checker.
• Example applications for the model checker are also included with the distribution.
• The whole system has been developed by Feliks Kluzniak at UT Dallas.

Please send email to gupta@utdallas.edu if you wish to obtain the distribution. The distribution comes with complete documentation.