https://github.com/himito/tccmchecker

Python implementation for the tcc model checking
https://github.com/himito/tccmchecker

model-checking process-calculus python tcc

Last synced: 17 days ago
JSON representation

Python implementation for the tcc model checking

• Host: GitHub
• URL: https://github.com/himito/tccmchecker
• Owner: himito
• License: gpl-2.0
• Created: 2012-10-20T22:29:17.000Z (over 13 years ago)
• Default Branch: master
• Last Pushed: 2017-03-11T22:20:24.000Z (over 9 years ago)
• Last Synced: 2025-12-19T15:04:43.307Z (6 months ago)
• Topics: model-checking, process-calculus, python, tcc
• Language: Python
• Homepage:
• Size: 2.05 MB
• Stars: 2
• Watchers: 1
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.rst
  • License: LICENSE

Awesome Lists containing this project

README

          
tccMChecker

===========

Python implementation of the model checking algorithm for the tcc calculus [1]_

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