ntcckmc to run in windows online over linux online

We have hosted the application ntcckmc to run in windows online over linux online in order to run this application in our online workstations with Wine or directly.

Quick description about ntcckmc to run in windows online over linux online:

ntccKMC: A Kripke-structure-based linear-time-logic model checker for the Non-deterministic Timed Concurrent Constraint Programming (ntcc) calculus.

Inspired by Jaime Arias' Python implementation and algorithms and Avispa's ntcc interpreter

Developed by Mauricio Toro under Colciencia's React+ of the Avispa research group.

Audience: Science/Research.

.