The meta-interpreter supports tabled LP and coinduction.
Download from here: http://www.utdallas.edu/~gupta/meta.tar.gz. Please send me an email at [email protected], if you download the meta-interpreter.
- Tabled LP
is supported following the DRA strategy of Guo and Gupta.
and coinduction are used to develop an implementation of an LTL
- Example applications for the model checker are also
included with the distribution.
- The whole system has been developed
by Feliks Kluzniak at UT Dallas.