Detail produktu

Tool for Computing Simulations

Vznik: 2009

Název česky
Nástroj pro výpočet simulací
Typ
software
Licence
vyžadována - zdarma
Autoři
Popis

Nástroj umožňuje efektivní výpočet relací simulace nad značenými přechodovými systémy a stromovými automaty (tzv. horní a dolní stromová simulace). Napsáno v jazyce OCaml.

Umístění

Nástroj i dokumentaci lze získat na URL: http://www.fit.vutbr.cz/research/groups/verifit/tools/sa/

Licence

Volně šiřitelný software poskytovaný pod licencí GNU GPL (přesné znění licence je dostupné na stránce http://www.gnu.org/licenses/gpl.html).

Projekty
Výzkumné skupiny
Pracoviště
Nahoru