RacerF, Version 1.0

Název česky

RacerF, verze 1.0

Typ

software

Licence

K využití výsledku jiným subjektem je vždy nutné nabytí licence

Licenční poplatek

Poskytovatel licence na výsledek nepožaduje licenční poplatek

Autoři

Dacík Tomáš, Ing. (UITS)
Vojnar Tomáš, prof. Ing., Ph.D. (UITS)

Klíčová slova

Statická analýza, paralelní programy, vícevláknové programy, souběh nad daty, Frama-C, zásuvný modul.

Popis

RacerF verze 1.0 je první verzí zásuvného modulu pro platformu Frama-C, jenž implementuje statický analyzátor pro detekci potenciálních souběhů nad daty v paralelních programech v jazyce C využívajících vlákna z knihovny pthreads.

Umístění

https://github.com/TDacik/Deadlock/releases/tag/racer-v1.0

Licenční podmínky

Volně šiřitelný software poskytovaný pod MIT licencí (přesné znění licence je dostupné na stránce https://opensource.org/licenses/MIT).

Projekty

Rámec klíčových technologií umožňujících bezpečné a autonomní aplikace dronů, MŠMT, Společná technologická iniciativa ECSEL, 8A19003, 2019-2023, ukončen

Výzkumné skupiny

Výzkumná skupina automatizované analýzy a verifikace - VeriFIT (VZ VERIFIT)

Pracoviště

Ústav inteligentních systémů (UITS)