tccMChecker

Python implementation of the model checking algorithm for the tcc calculus¹ presented in

Arias, J. (2012). Model Checking for TCC Calculus. Universidad Javeriana, Cali, Colombia. Available on https://himito.github.io/pdfs/thesis_2013.pdf

Installation

Dependencies

• tarjan: Tarjan's algorithm library
• pydot: Graphviz’s dot language Python interface
• sphinx: tool to generate Python documentation

Install

python setup.py install

Examples

Some examples can be found in the examples folder.

References

---

1. Saraswat, V. A., Jagadeesan, R., & Gupta, V. (1994). Foundations of Timed Concurrent Constraint Programming. In Proceedings of the Ninth Annual Symposium on Logic in Computer Science (LICS '94), Paris, France, July 4-7, 1994 (pp. 71–80). IEEE Computer Society. http://doi.org/10.1109/LICS.1994.316085↩