This page contains additional material for the following paper:
V. Schuppan: Extracting Unsatisfiable Cores for LTL via Temporal Resolution. Download: arXiv:1212.3884v1 [cs.LO], local (zipped)
Note: for a peer reviewed, updated version see here.
The source code of our tool as used in the experimental evaluation of the paper is here.
For updated versions see the web page of the tool.
The original version of TRP++ is available from Boris Konev's TRP++ page.
The data from our experimental evaluation are here.
© Viktor Schuppan
Last modified 11 June 2013