Ecosyste.ms: Awesome

An open API service indexing awesome lists of open source software.

Awesome Lists | Featured Topics | Projects

https://github.com/antoinegagne/ltsatool

The tools used for the class « Spécification formelle et vérification de logiciel »
https://github.com/antoinegagne/ltsatool

Last synced: 11 days ago
JSON representation

The tools used for the class « Spécification formelle et vérification de logiciel »

Awesome Lists containing this project

README

        

===================================
Labelled Transition System Analyzer
===================================

.. contents::
:backlinks: none

.. sectnum::

Disclaimer
----------

The program was taken from `here `_.

All copyright goes to Jeff Magee and Jeff Kramer.

Installation
------------

You can install this ``PKGBUILD`` by doing the following command:

::

makepkg -si

This will install the program ``ltsa``.