Arctor
Current version: 0.2 [2014-02-09]
Copyright © 2014 Saarland University
Introduction
Arctor (Abstraction Refinement of Concurrent Temporal Orderings), is the termination prover for multithreaded programs, based on the causality verification approach.
Publications
| [KF14] | Causal Termination of Multi-threaded Programs. Andrey Kupriyanov and Bernd Finkbeiner. CAV 2014. |
| [KF13] | Causality-Based Verification of Multi-threaded Programs. Andrey Kupriyanov and Bernd Finkbeiner. CONCUR 2013. |
Contact
Andrey Kupriyanov <kupriyanovXcsYuni-saarlandYde> (substitute X by @ and Y by .)
Bernd Finkbeiner <finkbeinerXcsYuni-saarlandYde> (substitute X by @ and Y by .)
Download
You can download and use ARCTOR under the terms of the following LICENSE.
Current version
The detailed experimental evaluation is available here.