Nástroj pro výpočet simulací

Autoři:Holík Lukáš, Šimáček Jiří, Vojnar Tomáš
Typ:software
Vznik:2009
Licence:vyžadována - zdarma
Klíčová slova:finite automata, tree automata, simulation, upward simulation, downward simulation, labelled transition systems
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/
Výzkumné skupiny:
Pracoviště:
Licenční podmínky:
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).

Vaše IPv4 adresa: 34.204.179.0
Přepnout na https