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
Holík Lukáš, doc. Mgr., Ph.D. (UITS FIT VUT)
Šimáček Jiří, Ing., Ph.D. (UITS FIT VUT)
Vojnar Tomáš, prof. Ing., Ph.D. (UITS FIT VUT)
Šimáček Jiří, Ing., Ph.D. (UITS FIT VUT)
Vojnar Tomáš, prof. Ing., Ph.D. (UITS FIT VUT)
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
Bohatý modelovací jazyk -- infrastruktura pro spolehlivé počítačové systémy (IC0901)
Matematické a inženýrské metody pro vývoj spolehlivých a bezpečných paralelních a distribuovaných počítačových systémů (GD102/09/H042)
Pokročilé formální přístupy v návrhu a automatické verifikaci počítačových systémů (GA102/07/0322)
Rozvoj technik pro automatické verifikace programů s dynamickými datovými strukturami (GP201/09/P531)
Výzkum informačních technologií z hlediska bezpečnosti (MSM0021630528)
Matematické a inženýrské metody pro vývoj spolehlivých a bezpečných paralelních a distribuovaných počítačových systémů (GD102/09/H042)
Pokročilé formální přístupy v návrhu a automatické verifikaci počítačových systémů (GA102/07/0322)
Rozvoj technik pro automatické verifikace programů s dynamickými datovými strukturami (GP201/09/P531)
Výzkum informačních technologií z hlediska bezpečnosti (MSM0021630528)
Výzkumné skupiny
Pracoviště
Ústav inteligentních systémů FIT VUT v Brně (UITS FIT VUT)