This small program named TRAX is capable of solving systems of ordinary differential equations and plotting the solution on a phase plane as well as function of time. The program is intended for educational purposes. The program runs on any Python-enabled platform, including GNU/Linux and MS\Windows OSs. To run the program you will need a pythoninterpreter ver. 2.x and compatible versions of numpy, scipy and matplotlib libraries.
See screenshot for usage reference.
ntccKMC: A Kripke-structure-based model checker for ntcc
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.