Skip to content

himito/tccMChecker

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

47 Commits
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 

Repository files navigation

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

About

Python implementation for the tcc model checking

Topics

Resources

License

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published

Languages