A symbolic model checker for the NTCC calculus
Switch branches/tags
Clone or download
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Permalink
Type Name Latest commit message Commit time
Failed to load latest commit information.
examples
src
utils/vim
.merlin
LICENSE
Makefile
README.md

README.md

SyMoN

Symbolic model checker for the non deterministic temporal concurrent constraint programming ntcc [1]. The underlying theory was published in:

Arias, J., Guzmán, M., & Olarte, C. (2015). A Symbolic Model for Timed Concurrent 
Constraint Programming. Electronic Notes in Theoretical Computer Science, 312, 161–177. 
https://doi.org/10.1016/j.entcs.2015.04.010.

Installation

Dependencies

We recommend to install the following dependencies using the package manager opam.

  brew install opam
  • Ocaml
  • Ocamllex
  • Ocamlyacc

Build

The compilation is as usual:make

References

[1] Nielsen, M., Palamidessi, C., & Valencia, F. D. (2002). Temporal Concurrent Constraint Programming: Denotation, Logic and Applications. Nord. J. Comput., 9(1), 145–188.

Note

Utils folder contains the necessary files for syntax highlighting of ntcc language.