torxakis

TorXakis Publisher

Install latest/edge of torxakis

Ubuntu 16.04 or later?

Make sure snap support is enabled in your Desktop store.


Install using the command line

sudo snap install torxakis --edge

Don't have snapd? Get set up for snaps.

torxakis is only available on the unstable edge channel. It could break and change often.

Channel Version Published

A tool for testing systems using a model-based approach.

TorXakis allows to test systems by writing models in a process algebraic fashion.

Details for torxakis

License
  • BSD-3-Clause

Last updated
  • 13 November 2017 - latest/edge

Contact

Share this snap

Generate an embeddable card to be shared on external websites.


Install torxakis on your Linux distribution

Choose your Linux distribution to get detailed installation instructions. If yours is not shown, get more details on the installing snapd documentation.


Where people are using torxakis

Is there a problem with torxakis? Report this app