nightly2BSD-3-Clause
strict
Unknown
A tool for testing systems using a model-based approach.
TorXakis allows to test systems by writing models in a process algebraic
fashion.
fashion.
Update History
nightly (2)1 Apr 2026, 21:28 UTC
30 Oct 2017, 12:37 UTC
13 Nov 2017, 17:26 UTC
1 Apr 2026, 21:28 UTC